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 Sun 08-Dec-24 . 00:51



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:System specification methodology using MARTE and Stateflow
Tipo:Informe, Estudio o Dictamen por encargo
Lugar:Deliverable D2.1.1 of the COMPLEX project.
Fecha:2010-12
Autores: Francisco Ferrero (GMV)
R. Valencia (GMV)
Fernando Herrera
Eugenio Villar
L. Lavagno
D. Quaglia
Líneas: Especificación de sistemas embebidos
Proyectos: FP7 IP 247999 COMPLEX
ISBN:
Fichero:
Resumen:Este documento resume los primeros resultados de la tarea 2.1 del proyecto COMPLEX, definiendo una metodología de especificación de nivel de sistema a travñes de dos lenguajes de modelado, UML/MARTE y Stateflow, identificando todos aquellos aspectos del lenguaje de modelado de alto nivel relevantes para la caracterización funcional y no-funcional del sistema, y para la estimación de rendimiento del mismo. Para facilitar el desarrollo de un modelo ejecutable del sistema, es necesario la transformación de los modelos de alto nivel en especificaciónes SystemC ejecutables. De esta forma, tales especificaciones SystemC harán factible en el flujo de diseño de COMPLEX, la optimización de la arquitectura del sistema, tras una fase de exploración del espacio de diseño (DSE) con una cota de tiempo razonable. Este documento aborda esta trasnformación y provee una primera aproximación a la implementación de las herramientas requiridas para llevar a cabo la tarea.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster