Time and space partitioning security components for spacecraft flight software

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