Architecting robustness and timeliness in a new generation of aerospace systems

Authors:
José Rufino;João Craveiro;Paulo Verissimo
Affiliations:
University of Lisbon, Faculty of Sciences, LaSIGE, Lisboa, Portugal;University of Lisbon, Faculty of Sciences, LaSIGE, Lisboa, Portugal;University of Lisbon, Faculty of Sciences, LaSIGE, Lisboa, Portugal
Venue:
Architecting dependable systems VII
Year:
2010

Citing 9
Cited 2

The SPARC architecture manual: version 8

The SPARC architecture manual: version 8
High level failure analysis for Integrated Modular Avionics

SCS '01 Proceedings of the Sixth Australian workshop on Safety critical systems and software - Volume 3
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems

EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software

RTCSA '98 Proceedings of the 5th International Conference on Real-Time Computing Systems and Applications
Analysing APEX applications

RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance

Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance
A new approach for distributed computing in avionics systems

ISICT '03 Proceedings of the 1st international symposium on Information and communication technologies
Time and Space Partitioning in Spacecraft Avionics

SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology
A Compositional Scheduling Framework for Digital Avionics Systems

RTCSA '09 Proceedings of the 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications

Building a time- and space-partitioned architecture for the next generation of space vehicle avionics

SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Architecture, mechanisms and scheduling analysis tool for multicore time- and space-partitioned systems

ACM SIGBED Review - Work-in-Progress (WiP) Session of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011)

Quantified Score

Hi-index	0.00

Visualization

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.