“Architecting Robustness and Timeliness in a New Generation of 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=incollection
-
   
+
|title=Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
-
 
+
|author=José Rufino, João Craveiro, Paulo Veríssimo
-
 
+
|Project=Project:AIR-II
-
 
+
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
-
 
+
|month=nov
-
   
+
|year=2010
-
        Architecting Robustness and Timeliness in a New Generation of Aerospace Systems
+
|abstract=Aerospace systems have strict dependability and real-time
-
|author=
+
-
        José Rufino, João Craveiro, Paulo Veríssimo
+
-
|url=
+
-
        http://www.navigators.di.fc.ul.pt/archive/papers/Ruf_Jcraveiro_Pjv_bookchapter_FINAL.pdf
+
-
|abstract=
+
-
        Aerospace systems have strict dependability and real-time
+
requirements, as well as a need for flexible resource reallocation and reduced
requirements, as well as a need for flexible resource reallocation and reduced
size, weight and power consumption. To cope with these issues,
size, weight and power consumption. To cope with these issues,
Line 29: Line 23:
a prototype implementation demonstrating the current state of the art
a prototype implementation demonstrating the current state of the art
is presented.
is presented.
-
|type=
+
|booktitle=Architecting Dependable Systems VII, LNCS 6420, Casimiro, A.; Lemos, R.d.; Gacek, C. (Eds.) 2010.
-
        incollection
+
|publisher=Springer
-
|booktitle=
+
|url=http://www.navigators.di.fc.ul.pt/archive/papers/Ruf_Jcraveiro_Pjv_bookchapter_FINAL.pdf
-
        Architecting Dependable Systems VII, LNCS 6420, Casimiro, A.; Lemos, R.d.; Gacek, C. (Eds.) 2010.
+
-
|month=
+
-
        nov
+
-
|year=
+
-
        2010
+
-
|Project=
+
-
        Project:AIR-II
+
-
|ResearchLine=
+
-
        Timeliness and Adaptation in Dependable Systems (TADS)
+
}}
}}

Revision as of 17:02, 14 January 2013

José Rufino, João Craveiro, Paulo Veríssimo

in Architecting Dependable Systems VII, LNCS 6420, Casimiro, A.; Lemos, R.d.; Gacek, C. (Eds.) 2010.

Springer, Nov. 2010.

Abstract: Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope with these issues, while still maintaining safety and fault containment properties, temporal and spatial partitioning (TSP) principles are employed. In a TSP system, the various onboard functions (avionics, payload) are integrated in a shared computing platform, however being logically separated into partitions. Robust temporal and spatial partitioning means that partitions do not mutually interfere in terms of fulfilment of real-time and addressing space encapsulation requirements. This chapter describes in detail the foundations of an architecture for robust TSP aiming a new generation of spaceborne systems, including advanced dependability and timeliness adaptation/control mechanisms. A formal system model which allows verification of integrator-defined system parameters is defined, and a prototype implementation demonstrating the current state of the art is presented.

Download paper

Download Architecting Robustness and Timeliness in a New Generation of Aerospace Systems

Export citation

BibTeX

Project(s): Project:AIR-II

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

Personal tools
Navigators toolbox