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


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Time and space partitioning security components for spacecraft flight software


    Beteiligte:
    Windsor, James (Autor:in)


    Erscheinungsdatum :

    01.10.2011


    Format / Umfang :

    460529 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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