Memorias de investigación
Ponencias en congresos:
Time and Space Partition Platform for Safe and Secure Flight Software. Data Systems in Aerospace ?
Año:2012
Áreas de investigación
  • Tecnología electrónica y de las comunicaciones,
  • Ciencias de la computación y tecnología informática
Datos
Descripción
There are a number of research and development activ- ities that are exploring Time and Space Partition (TSP) to implement safe and secure flight software. This ap- proach allows to execute different real-time applications with different levels of criticality in the same computer board. In order to do that, flight applications must be iso- lated from each other in the temporal and spatial domains. This paper presents the first results of a partitioning plat- form based on the Open Ravenscar Kernel (ORK+) and the XtratuM hypervisor. ORK+ is a small, reliable real- time kernel supporting the Ada Ravenscar Computational model that is central to the ASSERT development pro- cess. XtratuM supports multiple virtual machines, i.e. partitions, on a single computer and is being used in the Integrated Modular Avionics for Space study. ORK+ ex- ecutes in an XtratuM partition enabling Ada applications to share the computer board with other applications.
Internacional
Si
Nombre congreso
DASIA 2012.
Tipo de participación
960
Lugar del congreso
Dubrovnik, Croatia
Revisores
Si
ISBN o ISSN
978-92-9092-265-0
DOI
Fecha inicio congreso
14/05/2012
Fecha fin congreso
16/05/2012
Desde la página
0
Hasta la página
0
Título de las actas
Proceedings of DAta Systems In Aerospace DASIA 2012
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos