Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicación |
| PUBLICACION |
| |
| Ficha completa |
| Título: | A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems |
| Tipo: | Comunicaciones a congresos internacionales |
| Lugar: | 18th International Workshop on Software and Compilers for Embedded Systems, SCoPES 2015, ACM |
| Fecha: | 2015-06 |
| Autores: |
Fernando Herrera
Pablo Peñil
Eugenio Villar
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Proyectos: |
FP7 611146 CONTREX
|
| ISBN: | 978-1-450335935 |
| Fichero: | ver fichero
|
| Resumen: | This paper has shown the extensions to the UML/MARTE
methodology developed in the CONTREX project towards
supporting DSE and mixed criticality. The methodology
improves the state of art in several aspects. It enables a
synthetic description of the design space through MARTE VSL
expressions, without relying on a methodology specific profile.
More specifically, the methodology supports the modeling of
mixed-criticality systems with a flexible use of the criticality
property. The paper shows how a model can associate
criticalities to both functional and extra-functional constraints.
In this way, the single-source approach to embedded system
design can now be applied to the DSE of mixed-criticality
systems keeping the safety requirements but, at the same time,
exploiting the slack time available to allocate the less critical
parts.
Paper |
|
|
