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 Thu 22-Aug-19 . 20:49



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   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.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster