“Flexible Operating System Integration in Partitioned Aerospace Systems”
From Navigators
(Difference between revisions)
(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 | |
- | + | |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 |
- | + | |booktitle=Actas do INForum - Simpósio de Informática 2009 | |
- | | | + | |url=http://www.navigators.di.fc.ul.pt/archive/papers/INForum2009-VFinal.pdf |
- | + | ||
- | | | + | |
- | + | ||
- | | | + | |
- | + | ||
- | |booktitle= | + | |
- | + | ||
- | | | + | |
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
- | + | ||
}} | }} |
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
Project(s): Project:AIR-II
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)