|
Descripción
|
|
|---|---|
| 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. | |
|
Internacional
|
No |
|
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
|
Entidad financiadora
|
Ministerior de Economía y Competividad |
|
Nacionalidad Entidad
|
ESPAÑA |
|
Tamaño de la entidad
|
Gran Empresa (>250) |
|
Fecha concesión
|
30/07/2015 |