Future work and conclusion 1. ESA is following a joint roadmap to develop an Integrated Modular Avionics for Space (IMA-SP) and Security Components for flight software based on time and space partitioning (TSP) principles a. The TSP software technologies have been prototyped and ported to flight computers b. Preliminary verification performed against the security requirements c. Existing flight software is being re-factored to a partitioned framework d. Next goal is to identify hardware updates to improve performance (security and safety) e. Migrate hardware based security functions to software 2. Formal methods for EAL 4+ 3. TSP eases introduction of multicore computing to the space domain a. Partition conceptual similar to AMP
Time and space partitioning security components for spacecraft flight software
01.10.2011
460529 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Time and Space Partitioning in Spacecraft Avionics
IEEE | 2009
|DevOps for Spacecraft Flight Software
IEEE | 2019
|Cyber Resilient Flight Software for Spacecraft
AIAA | 2017
|Cyber Resilient Flight Software for Spacecraft
AIAA | 2018
|