Home

M2C2

M2C2 (SISTEMAS CIBER-FISICOS DE CRITICIDAD MIXTA SOBRE PLATAFORMAS MULTINUCLEO) es un proyecto coordinado financiado por el Ministerio de Economía y Competitividad (TIN2014-56158-C4-01-02-03-04) formado por los grupos

  • UNIVERSITAT POLITÈCNICA DE VALÈNCIA. I.P. Alfons Crespo y Patricia Balbastre (Coordinadores)
  • UNIVERSIDAD POLITECNICA DE MADRID. I.P. Juan Antonio de la Puente
  • UNIVERSIDAD DE CANTABRIA. I.P. Javier Gutiérrez y Michael González Harbour
  • UNIVERSITAT POLITÈCNICA DE VALÈNCIA. I.P. Pedro Albertos y José E. Simó Ten

Duración: 2015-2017

Web del proyecto

Objetivo:
El proyecto tiene como objetivo contribuir mediante métodos y técnicas al desarrollo de sistemas ciber-físicos sobre plataformas multinúcleo que soporten la ejecución de aplicaciones con restricciones temporales, como aplicaciones de control, y con distintos niveles de criticidad. El proyecto aborda tanto la definición de las capas de software que configuran la arquitectura del sistema (incluyendo la plataforma de ejecución) como los métodos y herramientas para el diseño, análisis y despliegue del sistema. Se parte de un enfoque de ingeniería dirigida por modelos, y se pretende desarrollar sistemas con subsistemas o aplicaciones de distintos niveles de criticidad. En este sentido, se espera facilitar la eventual certificación individual de los subsistemas que así lo requieran.

El enfoque que se propone está basado en el concepto de arquitectura particionada con máquinas virtuales, de forma que los subsistemas de distintos niveles de criticidad puedan ejecutarse en distintas máquinas virtuales o particiones. El hipervisor que implementa este concepto debe asegurar el aislamiento entre las particiones tanto en el dominio del tiempo como en el espacio de almacenamiento, para garantizar que los posibles errores en los componentes menos críticos no se propagan a los más críticos ni perturban su correcta ejecución.

La extensión de esta idea a plataformas multinúcleo es una aportación fundamental de este proyecto. Las interferencias que se producen en estos sistemas al acceder a recursos de hardware compartidos dificultan el aislamiento entre los procesos que se ejecutan en distintos núcleos. En el proyecto se analizarán los distintos tipos de interferencia y se investigarán las técnicas más adecuadas para limitar su efecto, así como los métodos de planificación más adecuados para este tipo de sistemas.

En el proyecto se abordarán también los aspectos metodológicos relacionados con el modelado, diseño y realización de sistemas ciber-físicos, y se realizará un prototipo de entorno integrado con herramientas de análisis y diseño de sistemas. Los aspectos de control son muy importantes en los sistemas ciber-físicos, por lo que se dedicará un esfuerzo particular a analizar su repercusión en el diseño y se desarrollarán herramientas específicas para ello.