“Flexible Operating System Integration in Partitioned Aerospace Systems”
From Navigators
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)