Browse wiki

From Navigators

Jump to: navigation, search
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  +
Volume 6420  +
Year 2010  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 17 January 2013 10:57:34  +
hide properties that link here 
  No properties link to this page.


Enter the name of the page to start browsing from.
Personal tools
Navigators toolbox