HI-PartES

HI-PartES (High Integrity Partitioned Embedded Systems) es un proyecto coordinado financiado por el Ministerio de Ciencia e Innovación (TIN2011-28567-C03-01-02-03) formado por los grupos

  • UNIVERSIDAD POLITECNICA DE MADRID. I.P. Alejandro Alonso (Coordinador)
  • UNIVERSIDAD POLITECNICA DE MADRID. I.P. Javier Gutiérrez
  • UNIVERSIDAD POLITECNICA DE VALENCIA. I.P. Alfons Crespo

Duración: 2012-2015

Web del proyecto

Objetivo:
El objetivo principal de este proyecto es contribuir al avance de las tecnologías de desarrollo y ejecu- ción de sistemas de alta-integridad de tiempo real, cuya complejidad aumenta constantemente. Los sistemas virtualizados constituyen una tecnología clave para su futuro desarrollo. La virtualización per- mite compartir los recursos físicos entre un conjunto de particiones o máquinas virtuales, garantizando el aislamiento temporal y espacial entre particiones, se puede hacer sistema más seguro, se reducen las interacciones en el sistema, se gestiona mejor la complejidad y es más fácil integrar aplicaciones heredadas y los componentes del sistema.
El desarrollo de sistemas particionados requiere un conjunto adicional de actividades, como el parti- cionado y configuración del sistema o el análisis global de tiempos de respuesta. El diseño dirigido por modelos (MDD) es una base tecnológica adecuada para proporcionar un entorno integrado de desarrollo que facilite estas tareas. Esta tecnología eleva el nivel de abstracción de los lenguajes y herramientas de desarrollo y aísla la información y la lógica de procesamiento de las tecnologías de implementación y de la plataforma de ejecución.
En resumen, los objetivos de este proyecto son desarrollar una plataforma de ejecución que proporcione virtualización, portar eficientemente sistemas operativos, desarrollar herramientas orientadas a modelos para el desarrollo de sistemas particionados de alta integridad, y proporcionar infraestructura de comu- nicaciones para conectar los sistemas internet, de forma segura. Las plataformas de ejecución incluirán sistemas monoprocesador y sistemas distribuidos. También se estudiará la virtualización en sistemas con varios núcleos.