Linux-based ARINC 653 Space Separation for Spacecraft Computer

인공위성 탑재컴퓨터를 위한 리눅스 기반 ARINC 653 공간 분리

  • Received : 2014.04.01
  • Accepted : 2014.06.23
  • Published : 2014.10.31


European Space Agency has recognized Integrated Modular Avionics and ARINC specification 653 as avionics computer system for space application. Integrated Modular Avionics specification 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. Therefore, memory management is needed to verify spatial isolation on Linux systems. This research proposes a new method to accomplish spatial isolation for the ARINC 653 specification in Linux. We have added new data structures and system calls to handle functionalities for spatial separation. They are used during the partition startup process. 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.


Integrated Modular Avionics;ARINC 653;Linux;Space Separation;Memory


Supported by : 한국연구재단


  2. P.J. Prisaznuk, "ARINC 653 role in integrated modular avionics (IMA)," Proceedings of IEEE/AIAA Digital Avionics Systems Conference, 2008.
  3. J.A. Williams, N.W. Bergmann. "Reconfigurable linux for space flight applications," Proceedings of Military and Aerospace Programmable Logic Devices, pp. 116-128, 2007.
  4. J. Windsor, K. Hjortnaes, "Time and space partitioning in spacecraft avionics," Proceedings of IEEE International Conference on Space Mission Challenges for Information Technology, pp. 13-20, 2009.
  5. J. Windsor, M.-H. Deredempt, D.F. Regis, "Integrated modular avionics for spacecraft-User requirements, architecture and role definition," Proceedings of IEEE/AIAA Digital Avionics Systems Conference, pp. 8A6-1-8A6-16, 2011.
  6. Z. Juan, A. Juan. "Memory Isolation in Many-Core Embedded Systems," Proceedings of International Workshop on High-performance and Real-time Embedded System, 2014.
  7. N. Kartik, Y.N. Srikant, "Precise shared cache analysis using optimal interference placement." Proceeding of IEEE Real-time and Embedded Technology and Applications Symposium, pp. 125-134, 2014.
  10. S. HAN, H.W. JIN, "Kernel-level ARINC 653 partitioning for Linux," Proceedings of the Annual ACM Symposium on Applied Computing, pp. 1632-1637, 2012.
  11. G. Lim, C. Min, Y.I. Eom. "Virtual memory partitioning for enhancing application performance in mobile platforms," IEEE Transactions on Consumer Electronics, Vol. 59, No. 4, pp. 786-794, 2013.
  12. S. HAN, H.W. JIN, "Full virtualization based ARINC 653 partitioning," Proceedings of IEEE/AIAA Digital Avionics Systems Conference, pp. 7E1-1-7E1-11, 2012.
  13. J.T. Boyland, "Handling Out of Memory Errors," Proceedings of Workshop on Exception Handling in Object-Oriented Systems, 2005.
  14. B. Alexander, "MTD Based Compressed Swapping for Embedded Linux," Proceedings of Embedded Linux Confernce, 2008.
  15. J. Song, X. Zhang, "Adaptive page replacement to protect thrashing in Linux," Proceedings of the Annual Linux Showcase & Conference, 2001.
  16. B. Oezalp, D. Ferrari, "Two-level replacement decisions in paging stores," IEEE Transactions on Computers, Vol. 100, No. 12, pp. 1151-1159, 1983.