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
|
http://www.navigators.di.fc.ul.pt/archive/papers/fastabstract-PreProc.pdf +
|
Year
|
2010 +
|
Categories |
Publication +
|
Modification dateThis property is a special property in this wiki.
|
17 January 2013 10:56:39 +
|