Browse wiki

From Navigators

Jump to: navigation, search
Abstract Space systems of the future demand for inn Space systems of the future demand for innovative computer architectures, enabling reduced size, weight and power consumption (SWaP) and component reuse among the different space missions. A solution being studied concerns the utilization of time- and space-partitioning (TSP) concepts, and fosters the interest of space agencies and industry partners. The AIR (ARINC 653 In Space RTOS) architecture was designed to fulfil the requirements for robust TSP and allow for mixed-criticality missions. Temporal partitioning is achieved through two-level hierarchical scheduling. In the first level, partitions are scheduled cyclically. Inside each partition, processes compete according to the native process scheduler of each partition’s operating system. AIR implements the advanced notion of mode-based partition schedules, allowing temporal requirements (and, consequently, partition scheduling) to vary according to the mission’s phase or mode of operation. A formal system model of the AIR architecture was defined in the course of the present work. We hereby address our current research work on TSP systems for aerospace applications, laid over the axes of published contributions on composability (and how it enabled component-based analysis of the system) and adaptability (self-adaptability, recon- figurability). We also introduce the forthcoming research direction of augmenting these properties with support for multicore platforms. ties with support for multicore platforms.
Address Guimarães, Portugal  +
Author João Pedro Craveiro + , José Rufino +
Booktitle FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software  +
Intype Fast Abstract in the Doctoral Track of  +
Key Craveiro10facs  +
Month oct  +
NumPubDate 2,010.1  +
Project Project:AIR-II +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software  +
Type inproceedings  +
Url  +
Year 2010  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 17 January 2013 10:56:39  +
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