Time and Space Partitioning in Spacecraft Avionics

Authors:
James Windsor;Kjeld Hjortnaes
Affiliations:
-;-
Venue:
SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology
Year:
2009

Citing 0
Cited 6

Load-based schedulability analysis of certifiable mixed-criticality systems

EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
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
Architecting robustness and timeliness in a new generation of aerospace systems

Architecting dependable systems VII
A step-wise approach for integrating QoS throughout software development

FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
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)
High performance dynamic voltage/frequency scaling algorithm for real-time dynamic load management

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper will describe the benefits of incorporating software Time and Space Partitioning (TSP), based upon the aeronautic IMA concept, into the spacecraft avionics architecture to manage the growth of mission functions implemented in the on-board software. The paper addresses how TSP can be used to safely integrate applications of different criticality and security classifications, and how incremental validation is supported to control the impact of software modifications to the system.