European Space Agency (ESA) has recognized Integrated Modular Avionics (IMA) and ARINC specification 653 (ARINC 653) as a reference avionics computer for space application. IMA reduces the space by integrating a system composed of many electronic devices into a computer. Recent researches have been studying how to apply the ARINC 653 into an open source operating system, such as Linux. These studies have concentrated on partition scheduling for time separation. However, requirements to guarantee spatial separation should be further analyzed to ensure deterministic execution time. This research proposes a method to accomplish spatial isolation for the ARINC 653 specification in Linux. Memory management is modified to improve spatial isolation. We have added new spatial separation functions. They are used during the partition startup process. A partition memory monitor is implemented to analyze spatial separation. The proposed method was evaluated on the LEON4 processor, which is the next generation microprocessor to be used in the future space missions. All implementations confirm that spatial isolation of the ARINC 653 specification was accomplished and provided memory to partitions efficiently.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Implementing space separation functionality into Linux-based spacecraft computer


    Contributors:
    Kim, Duksoo (author) / Joe, Hyunwoo (author) / Kim, Hyungshin (author)


    Publication date :

    2014-10-01


    Size :

    714279 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Spacecraft Functionality to be Modeled

    Eickhoff, Jens | Springer Verlag | 2009


    Linux and the Spacecraft Flight Software Environment

    Birrane, E. / Bechtold, K. / Krupiarz, C. et al. | British Library Conference Proceedings | 2007


    Aeolus Spacecraft Simulator: A Smooth Transition to Linux

    Guerrucci, Damiano / Rothwell, Derek / Metelo, Filipe | AIAA | 2008



    SPACECRAFT SEPARATION SYSTEM

    VORONIN EVGENIJ ALEKSANDROVICH / GREBNEV NIKOLAJ EGOROVICH / KRUGLOV GENRIKH EVGEN EVICH et al. | European Patent Office | 2015

    Free access