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

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

Descripción

Título: Towards model-driven engineering for mixed-criticality systems: multiPARTES approach
Autor/es:
  • Alonso Muñoz, Alejandro Antonio
  • Jouvray, Christophe
  • Trujillo González, Salvador
  • Miguel Cabello, Miguel Angel de
  • Grepet, Cyril
  • Simó, José
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Design Automation and Test in Europe (DATE 2013)
Fechas del Evento: 18/03/2013 - 22/03/2013
Lugar del Evento: Grenoble, France
Título del Libro: Design Automation and Test in Europe (DATE 2013)
Fecha: 2013
Materias:
Palabras Clave Informales: Mixed criticality systems, model-driven engineeing, virtualization, embedded systems
Escuela: E.T.S.I. Telecomunicación (UPM)
Departamento: Ingeniería de Sistemas Telemáticos [hasta 2014]
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (376kB)

Resumen

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.

Más información

ID de Registro: 25776
Identificador DC: http://oa.upm.es/25776/
Identificador OAI: oai:oa.upm.es:25776
Depositado por: Memoria Investigacion
Depositado el: 17 May 2014 10:52
Ultima Modificación: 22 Sep 2014 11:38
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM