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

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

Description

Title: Time and space partition platform for safe and secure flight software.
Author/s:
  • Esquinas Fernández, Ángel
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
  • Masmano, Miguel
  • Crespo Lorente, Alfons
Item Type: Presentation at Congress or Conference (Article)
Event Title: DASIA 2012
Event Dates: 14/05/2012 - 16/05/2012
Event Location: Dubrovnik, Croatia
Title of Book: Proceedings of data systems In aerospace DASIA 2012
Date: 2012
Subjects:
Freetext Keywords: Integrated modular avionics, Ravenscar profile, Partition Kernel, ARINC 653, sistemas aviónicos modulares integrados, perfil Ravenscar, Partición Kernel.
Faculty: Facultad de Informática (UPM)
Department: Otro
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (161kB) | Preview

Abstract

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.

More information

Item ID: 20707
DC Identifier: http://oa.upm.es/20707/
OAI Identifier: oai:oa.upm.es:20707
Official URL: http://eurospace.org/dasia-2012.aspx
Deposited by: Memoria Investigacion
Deposited on: 06 Nov 2013 16:40
Last Modified: 21 Apr 2016 23:29
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM