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


    Access

    Download


    Export, share and cite



    Title :

    Time and space partitioning security components for spacecraft flight software


    Contributors:


    Publication date :

    2011-10-01


    Size :

    460529 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Time and space partitioning security components for spacecraft flight software

    Windsor, James / Eckstein, Knut / Mendham, Peter et al. | IEEE | 2011


    Time and Space Partitioning in Spacecraft Avionics

    Windsor, James / Hjortnaes, Kjeld | IEEE | 2009


    DevOps for Spacecraft Flight Software

    Heistand, Christopher / Thomas, Justin / Tzeng, Nigel et al. | IEEE | 2019


    Cyber Resilient Flight Software for Spacecraft

    Wheeler, Wayne A. / Cohen, Nicholas / Betser, Joseph et al. | AIAA | 2017


    Cyber Resilient Flight Software for Spacecraft

    Wheeler, Wayne A. / Cohen, Nicholas / Betser, Joseph et al. | AIAA | 2018