Time and space partition platform for safe and secure flight software.

Esquinas Fernández, Ángel; Zamorano Flores, Juan Rafael; Puente Alfaro, Juan Antonio de la; Masmano, Miguel y Crespo Lorente, Alfons (2012). Time and space partition platform for safe and secure flight software.. En: "DASIA 2012", 14/05/2012 - 16/05/2012, Dubrovnik, Croatia. pp..

Descripción

Título: Time and space partition platform for safe and secure flight software.
Autor/es:
  • Esquinas Fernández, Ángel
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
  • Masmano, Miguel
  • Crespo Lorente, Alfons
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: DASIA 2012
Fechas del Evento: 14/05/2012 - 16/05/2012
Lugar del Evento: Dubrovnik, Croatia
Título del Libro: Proceedings of data systems In aerospace DASIA 2012
Fecha: 2012
Materias:
Palabras Clave Informales: Integrated modular avionics, Ravenscar profile, Partition Kernel, ARINC 653, sistemas aviónicos modulares integrados, perfil Ravenscar, Partición Kernel.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Otro
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (161kB) | Vista Previa

Resumen

There are a number of research and development activities that are exploring Time and Space Partition (TSP) to implement safe and secure flight software. This approach 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 isolated from each other in the temporal and spatial domains. This paper presents the first results of a partitioning platform 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 process. 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+ executes in an XtratuM partition enabling Ada applications to share the computer board with other applications.

Más información

ID de Registro: 20707
Identificador DC: http://oa.upm.es/20707/
Identificador OAI: oai:oa.upm.es:20707
URL Oficial: http://eurospace.org/dasia-2012.aspx
Depositado por: Memoria Investigacion
Depositado el: 06 Nov 2013 16:40
Ultima Modificación: 21 Abr 2016 23:29
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM