Web Map
Location
News
Santander Info
|
| GIM>Research>Publication |
| PUBLICATION |
| |
| 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 |
| Date: | 2015-06 |
| 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
parts.
Paper |
|
|
