“Adaptability Support in Time- and Space-Partitioned Aerospace Systems”

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=Adaptability Support in Time- and Space-Partitioned Aerospace Systems
-
 
+
|author=João Craveiro, José Rufino
-
 
+
|Project=Project:AIR-II
-
 
+
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
-
 
+
|month=nov
-
   
+
|year=2010
-
        Adaptability Support in Time- and Space-Partitioned Aerospace Systems
+
|abstract=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.
-
|author=
+
|address=Lisbon, Portugal
-
        João Craveiro, José Rufino
+
|booktitle=Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010)
-
|url=
+
|url=http://www.navigators.di.fc.ul.pt/archive/papers/jcraveiro-adaptiveTSP_CAMERA.pdf
-
        http://www.navigators.di.fc.ul.pt/archive/papers/jcraveiro-adaptiveTSP_CAMERA.pdf
+
-
|abstract=
+
-
        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.
+
-
|type=
+
-
        inproceedings
+
-
|booktitle=
+
-
        Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010), Lisbon, Portugal, Nov. 2010.
+
-
|month=
+
-
        nov
+
-
|year=
+
-
        2010
+
-
|Project=
+
-
        Project:AIR-II
+
-
|ResearchLine=
+
-
        Timeliness and Adaptation in Dependable Systems (TADS)
+
}}
}}

Latest revision as of 10:58, 17 January 2013

João Craveiro, José Rufino

in Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010), Lisbon, Portugal, Nov. 2010.

Abstract: 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.

Download paper

Download Adaptability Support in Time- and Space-Partitioned Aerospace Systems

Export citation

BibTeX

Project(s): Project:AIR-II

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

Personal tools
Navigators toolbox