“Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software”

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=Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software
-
 
+
|author=João Craveiro, José Rufino
-
 
+
|Project=Project:AIR-II
-
 
+
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
-
 
+
|month=oct
-
   
+
|year=2010
-
        Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software
+
|abstract=Space systems of the future demand for innovative computer architectures, enabling
-
|author=
+
reduced size, weight and power consumption (SWaP) and component reuse among the
-
        João Craveiro, José Rufino
+
different space missions. A solution being studied concerns the utilization of time- and
-
|url=
+
space-partitioning (TSP) concepts, and fosters the interest of space agencies and industry partners [6]. The AIR (ARINC 653 In Space RTOS) architecture was designed
-
        http://www.navigators.di.fc.ul.pt/archive/papers/fastabstract-PreProc.pdf
+
to fulfil the requirements for robust TSP and allow for mixed-criticality missions [4].
-
|abstract=
+
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
-
|type=
+
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
-
        inproceedings
+
defined in the course of the present work.
-
|booktitle=
+
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
-
        FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, M. Lumpe and L. S. Barbosa (Eds.), Guimarães, Portugal, Oct. 2010, pp. 253-254.
+
component-based analysis of the system) and adaptability (self-adaptability, recon-
-
|month=
+
figurability). We also introduce the forthcoming research direction of augmenting
-
        oct
+
these properties with support for multicore platforms.
-
|year=
+
|booktitle=FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, M. Lumpe and L. S. Barbosa (Eds.), Guimarães, Portugal, Oct. 2010, pp. 253-254.
-
        2010
+
|url=http://www.navigators.di.fc.ul.pt/archive/papers/fastabstract-PreProc.pdf
-
|Project=
+
-
        Project:AIR-II
+
-
|ResearchLine=
+
-
        Timeliness and Adaptation in Dependable Systems (TADS)
+
}}
}}

Revision as of 17:51, 14 January 2013

João Craveiro, José Rufino

in FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, M. Lumpe and L. S. Barbosa (Eds.), Guimarães, Portugal, Oct. 2010, pp. 253-254., Oct. 2010.

Abstract: 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 [6]. The AIR (ARINC 653 In Space RTOS) architecture was designed to fulfil the requirements for robust TSP and allow for mixed-criticality missions [4]. 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.

Download paper

Download Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software

Export citation

BibTeX

Project(s): Project:AIR-II

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

Personal tools
Navigators toolbox