DocumentCode :
181126
Title :
Implementing space separation functionality into Linux-based spacecraft computer
Author :
Duksoo Kim ; Hyunwoo Joe ; Hyungshin Kim
Author_Institution :
Dept. of Comput. Sci. & Eng., Chungnam Univ., Daejeon, South Korea
fYear :
2014
fDate :
5-9 Oct. 2014
Abstract :
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.
Keywords :
Linux; aircraft computers; microprocessor chips; public domain software; storage management; ARINC specification 653; European Space Agency; IMA; Integrated Modular Avionics; LEON4 processor; Linux-based spacecraft computer; avionics computer; electronic devices; future space missions; memory management; next generation microprocessor; open source operating system; partition memory monitor; partition scheduling; space application; space separation functionality; spatial isolation; spatial separation functions; time separation; Aerospace electronics; Computers; Linux; Memory management; Monitoring; Operating systems; Resource management;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd
Conference_Location :
Colorado Springs, CO
Print_ISBN :
978-1-4799-5002-7
Type :
conf
DOI :
10.1109/DASC.2014.6979502
Filename :
6979502
Link To Document :
بازگشت