“Flexible Operating System Integration in Partitioned Aerospace Systems”

From Navigators

Jump to: navigation, search

João Craveiro, José Rufino, Tobias Schoofs, James Windsor

in Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, Sept. 2009.

Abstract: The ARINC 653-based AIR (ARINC 653 in Space Real-Time Operating System) architecture, developed as a response to the interest of the aerospace industry in adopting the concepts of Integrated Modular Avionics (IMA), proposes a partitioned environment, observing strict temporal and spatial segregation, in which partitions are able to use different (real-time) operating systems and host applications of different criticality levels. This paper centers on recent enhancements to the AIR architecture, like the AIR POS Adaptation Layer (PAL), which aim at optimizing the development and integration processes with the flexible support to new partition operating systems (POS) in mind. We also discuss the current efforts, which already benefit from the properties of the AIR Technology, to integrate Linux as a POS, exploiting the concepts of the paravirtualization interface currently provided by the Linux kernel.

Download paper

Download Flexible Operating System Integration in Partitioned Aerospace Systems

Export citation


Project(s): Project:AIR-II

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Personal tools
Navigators toolbox