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 Tue 23-Jul-24 . 14:26

Mapa Web



Info Santander

Gestión BD

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

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