Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicación |
| PUBLICACION |
| |
| Ficha completa |
| Título: | A MDD Methodology for Specification of Embedded Systems and Automatic Generation of Fast Configurable and Executable Performance Models |
| Tipo: | Publicacion en Proceedings o Actas internacionales |
| Lugar: | ESWeek 2012 Compilation Proceedings, CoDes+ISSS’12, ACM |
| Fecha: | 2012-10 |
| Autores: |
Fernando Herrera
Héctor Posadas
Pablo Peñil
Eugenio Villar
F. Ferrero (GMV)
R. Valencia (GMV)
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Proyectos: |
FP7 IP 247999 COMPLEX
|
| ISBN: | 978-1-4503-14268 |
| Fichero: | ver fichero
|
| Resumen: | The paper presents the COMPLEX UML/MARTE modeling methodology and its related framework for automatic generation of executable performance models. The modeling methodology supports Model-Driven Development (MDD), required by industrial flows, and a novel set of modeling features specifically suitable for Design Space Exploration (DSE), a crucial design activity. The COMPLEX framework has other advantages for DSE. The COMPLEX tooling enables the automatic generation of an executable and configurable model for fast performance analysis without requiring engineering effort. The COMPLEX tooling automates the production of an easily portable text-based representation of the UML/MARTE model. This representation is read by the underlying simulation infrastructure, which automatically builds a fast performance model supporting the evaluation of different configurations of the system. An important aspect of this performance analysis framework is that it supports a system-level text-based front-end, which is produced from the COMPLEX UML/MARTE model, and which avoids the development of SW implementations, HW refinements, or the implementation of HW/SW interfaces. Moreover, neither code regeneration, nor recompilation is required for any DSE iterations, and thus, the time taken in the exploration is mostly due to model simulation.
Paper |
|
|
