M2C2-1: Sistemas Cíber-Físicos de Criticidad Mixta sobre Plataformas Multi-núcleo

Hipersectores

Áreas de investigación

Fecha Inicio: 01/01/2015

Fecha Fin:  30/09/2018

Referencia:TIN2014-56158-C4-1-P-AR

Entidad financiadora: Proyecto RETOS I+D+I. Ministerio de Economía y Competitividad

Participantes ai2: Crespo i Lorente, Alfons

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.

Los resultados del proyecto se aplicarán a dos casos de estudio para comprobar su validez industrial. Se han seleccionado para ello un avión no tripulado con pilotaje remoto (RPAS) y el software embarcado en el satélite universitario UPMSat2.

Objetivos del subproyecto:

1. Consolidar los resultados obtenidos en las técnicas de virtualización para sistemas mononúcleo a multinúcleo.
2. Analizar la arquitectura de la capa de virtualización más apropiada atendiendo a la criticidad de las aplicaciones (AMP/SMP)
3. Extender las técnicas de virtualización utilizadas a la virtualización completa cuando el hardware disponible ofrezca soporte de virtualización.
4. Definir y adaptar los entornos de ejecución (sistemas operativos) para poder soportar aplicaciones multinúcleo
5. Estudiar las técnicas de planificación jerárquicas para sistemas multinúcleo.
6. Contribuir a las técnicas de análisis tiempos de respuesta en sistemas particionados multinúcleo que permitan ofrecer garantías para la futura certificación.
7. Estudiar, modelar e integrar las interferencias producidas por recursos compartidos en sistemas multinúcleo
8. Desarrollar herramientas que integren las técnicas de análisis y generen una planificación que contemple las restricciones temporales y las interferencias en sistemas multinúcleo


Proyectos

Próximos Eventos

May
5
Mar
12:00 am SMART4ALL Convocatoria Abierta
SMART4ALL Convocatoria Abierta
May 5 a las 12:00 am – Dic 31 a las 12:00 am
SMART4ALL Convocatoria Abierta
SMART4ALL (Proyecto H2020) da apoyo a soluciones digitales innovadoras y extraordinarias en donde la colaboración con otras organizaciones es la base del éxito. La iniciativa busca impulsar soluciones digitales de España y Europa basadas en

 

 

 

 

 

Cómo llegar I  Planos I Contacto
Universitat Politècnica de València © 2015 · Tel. (+34) 96 387 90 00 · informacion@upv.es
campus UPV de excelencia campus UPV de excelencia