Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Tue 22-Jan-19 . 16:38



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Formal Foundations for MARTE-SystemC Interoperability
Tipo:Publicacion en Proceedings o Actas internacionales
Lugar:Forum on specification & Design Languages 2010, FDL'2010, IEEE
Fecha:2010-09
Autores: Pablo Peñil
Fernando Herrera
Eugenio Villar
Líneas: Diseño y verificación de sistemas embebidos HW/SW
Proyectos: FP7 216807 SATURN
FP7 IP 247999 COMPLEX
ISBN:1636-9874
Fichero:ver fichero
Resumen:La Arquitectura Dirigida por Modelos (MDA) y el Diseño Electrónico de nivel de Sistema (ESL) son metodologías claves para el éxito en la especificación y diseño de los sistemas embebidos actuales, cada vez más complejos y heterogéneos. MARTE es el profile de UML más avanzado para la especificación abstracta de sistemas embebidos de tiempo real en un contexto MDA, mientras que SystemC es el lenguajes más ampliamente adoptado por la comunidad de diseño ESL. Este artículo provee los fundamentos formales para una conexión coherente y sinérgica entre MARTE y SystemC. Estos fundamentos están basados en el formalismo ForSyDe, que es usado para reflejar la semántica de ejecución abstracta tanto del modelo MARTE, como de la especificaciónejecutable SystemC correspondiente. Los conceptos introducidos se muestran a través de la especificación de una parte esencial de un decodificador de video.
IEEEXplore FDL'10 Proceedings
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster