Descripción
|
|
---|---|
Mixed criticality systems emerges as a suitable solution for dealing with the complexity, performance and costs of future embedded and dependable systems. However, this paradigm adds additional complexity to their development. This paper proposes an approach for dealing with this scenario that relies on hardware virtualization and Model-Driven Engineering (MDE). Hardware virtualization ensures isolation between subsystems with different criticality levels. MDE is intended to bridge the gap between design issues and partitioning concerns. MDE tooling will enhance the functional models by annotating partitioning and extra-functional properties. System partitioning and subsystems allocation will be generated with a high degree of automation. System configuration will be validated for ensuring that the resources assigned to a partition are sufficient for executing the allocated software components and that time requirements are met. | |
Internacional
|
Si |
Nombre congreso
|
WICERT 2013 Workshop on Industry-Driven Approaches for Cost-effective Certification of Safety-Critical, Mixed-Criticality System |
Tipo de participación
|
960 |
Lugar del congreso
|
Grenoble, France |
Revisores
|
No |
ISBN o ISSN
|
978-1-4503-2153-2 |
DOI
|
|
Fecha inicio congreso
|
18/03/2013 |
Fecha fin congreso
|
22/03/2013 |
Desde la página
|
1 |
Hasta la página
|
7 |
Título de las actas
|
DATE 2013 |