Abstract
|
Aerospace systems have strict dependabilit … 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. the current state of the art
is presented.
|
Author
|
José Rufino +
, João Pedro Craveiro +
, Paulo Verissimo +
|
Booktitle
|
Architecting Dependable Systems VII +
|
Editor
|
António Casimiro +
, Rogério de Lemos +
, Cristina Gacek +
|
Key
|
Rufino10ads +
|
Month
|
nov +
|
NumPubDate
|
2,010.11 +
|
Project
|
Project:AIR-II +
|
Publisher
|
Springer +
|
ResearchLine
|
Timeliness and Adaptation in Dependable Systems (TADS) +
|
Series
|
LNCS +
|
Title
|
Architecting Robustness and Timeliness in a New Generation of Aerospace Systems +
|
Type
|
incollection +
|
Url
|
http://www.navigators.di.fc.ul.pt/archive/papers/Ruf_Jcraveiro_Pjv_bookchapter_FINAL.pdf +
|
Volume
|
6420 +
|
Year
|
2010 +
|
Categories |
Publication +
|
Modification dateThis property is a special property in this wiki.
|
17 January 2013 10:57:34 +
|