“Flexible Operating System Integration in Partitioned Aerospace Systems”

From Navigators

(Difference between revisions)
Jump to: navigation, search
(NavsPubsFull5.xml import (201201141459, full reimport with new ids for legacy pubs avoiding collisions))
 
Line 1: Line 1:
{{Publication
{{Publication
-
|title=
+
|type=inproceedings
-
   
+
|title=Flexible Operating System Integration in Partitioned Aerospace Systems
-
 
+
|author=João Craveiro, José Rufino, Tobias Schoofs, James Windsor
-
 
+
|Project=Project:AIR-II
-
 
+
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
-
 
+
|month=sep
-
   
+
|year=2009
-
        Flexible Operating System Integration in Partitioned Aerospace Systems
+
|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.
-
|author=
+
|address=Lisbon, Portugal
-
        João Craveiro, José Rufino, Tobias Schoofs, James Windsor
+
|booktitle=Actas do INForum - Simpósio de Informática 2009
-
|url=
+
|url=http://www.navigators.di.fc.ul.pt/archive/papers/INForum2009-VFinal.pdf
-
        http://www.navigators.di.fc.ul.pt/archive/papers/INForum2009-VFinal.pdf
+
-
|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.
+
-
|type=
+
-
        inproceedings
+
-
|booktitle=
+
-
        Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, September 2009.
+
-
|month=
+
-
        sep
+
-
|year=
+
-
        2009
+
-
|Project=
+
-
        Project:AIR-II
+
-
|ResearchLine=
+
-
        Timeliness and Adaptation in Dependable Systems (TADS)
+
}}
}}

Latest revision as of 10:53, 17 January 2013

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

BibTeX

Project(s): Project:AIR-II

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

Personal tools
Navigators toolbox