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 Fri 29-Mar-24 . 13:10



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Code generation and co-verification of embedded systems with SystemC
Tipo:Informe, Estudio o Dictamen por encargo
Lugar:Deliverable D3.3 of the FP7-216807 SATURN Project
Fecha:2009-06
Autores: Pablo Peñil
Eugenio Villar
et al.
Líneas:
Proyectos:
ISBN:
Fichero:
Resumen:
The deliverable outlines the first increment of the SATURN UML profile for SystemC/C++ comodeling and cosynthesis. The profile and the code generation is defined and implemented for Artisan Studio. Relationsships to MARTE and a first approach to the behavioral semantics are defined in the second part for proven code generation.

Summary
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster