Browse wiki

From Navigators

Jump to: navigation, search
Abstract The AIR (ARINC 653 in Space Real-Time Oper The AIR (ARINC 653 in Space Real-Time Operating System) technology targets modern aerospace systems, where the concepts of time- and space-partitioning are applied. AIR features advanced timeliness control and adaptation mechanisms in its design, such as mode-based schedules, process deadline violation monitoring, and protection against event overload. The timing parameters of a space mission may vary throughout time, according to its mode/phase of operation, and the spacecraft may be exposed to unpredictable events and failures. In this paper we explore the adaptation potential of the advanced features included in AIR, analysing their code complexity (which influences software verification, validation and certification efforts) and computational complexity (which correlates to the temporal overhead impact on the system), and discussing how they can be applied to provide more adaptive, reconfigurable and self-adaptive AIR-based systems. rable and self-adaptive AIR-based systems.
Address Lisbon, Portugal  +
Author João Pedro Craveiro + , José Rufino +
Booktitle Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010)  +
Key Craveiro10adaptive  +
Month nov  +
NumPubDate 2,010.11  +
Project Project:AIR-II +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Adaptability Support in Time- and Space-Partitioned Aerospace Systems  +
Type inproceedings  +
Url  +
Year 2010  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 17 January 2013 10:58:17  +
hide properties that link here 
  No properties link to this page.


Enter the name of the page to start browsing from.
Personal tools
Navigators toolbox