Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Wed 29-May-24 . 14:36

Web Map



Santander Info

   Full record
Title:A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems
Type:International Conference
Where:18th International Workshop on Software and Compilers for Embedded Systems, SCoPES 2015, ACM
Authors: Fernando Herrera
Pablo Peñil
Eugenio Villar
R&D Lines: Design and verification of HW/SW embedded systems
Projects: FP7 611146 CONTREX
ISBN: 978-1-450335935
PDF File:see file
Abstract: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)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster