Towards model-driven engineering for mixed-criticality systems: multiPARTES approach

Alonso Muñoz, Alejandro Antonio and Jouvray, Christophe and Trujillo González, Salvador and Miguel Cabello, Miguel Angel de and Grepet, Cyril and Simó, José (2013). Towards model-driven engineering for mixed-criticality systems: multiPARTES approach. In: "Design Automation and Test in Europe (DATE 2013)", 18/03/2013 - 22/03/2013, Grenoble, France. pp. 1-7.

Description

Title: Towards model-driven engineering for mixed-criticality systems: multiPARTES approach
Author/s:
  • Alonso Muñoz, Alejandro Antonio
  • Jouvray, Christophe
  • Trujillo González, Salvador
  • Miguel Cabello, Miguel Angel de
  • Grepet, Cyril
  • Simó, José
Item Type: Presentation at Congress or Conference (Article)
Event Title: Design Automation and Test in Europe (DATE 2013)
Event Dates: 18/03/2013 - 22/03/2013
Event Location: Grenoble, France
Title of Book: Design Automation and Test in Europe (DATE 2013)
Date: 2013
Subjects:
Freetext Keywords: Mixed criticality systems, model-driven engineeing, virtualization, embedded systems
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (376kB)

Abstract

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.

More information

Item ID: 25776
DC Identifier: http://oa.upm.es/25776/
OAI Identifier: oai:oa.upm.es:25776
Deposited by: Memoria Investigacion
Deposited on: 17 May 2014 10:52
Last Modified: 22 Sep 2014 11:38
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM