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
|
|
|
