| Ficha completa |
| Título: | Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models |
| Tipo: | Capitulo de libro |
| Lugar: | Kiyofumi Tanaka: "Embedded Systems - Theory and Design Methodology", InTech, Croatia |
| Fecha: | 2012-02 |
| Autores: |
Pablo Peñil
Fernando Herrera
Eugenio Villar
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Proyectos: |
FP7 IP 247999 COMPLEX
FP7 216807 SATURN
|
| ISBN: | 978-953-51-01673 |
| Fichero: |
|
| Resumen: | Este capítulo proporciona los fundamentos formales necesarios para establecer un enlace entre MARTE y SystemC. Estos fundamentos formales están basados en ForSyDe. ForSyDe demuestra la equivalencia entre los modelos MARTE y las especificaciones SystemC ejecutables, asegurando que la transformación es correcta por construcción.
Book. |
