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