Browse > Article
http://dx.doi.org/10.3745/KTSDE.2014.3.1.7

H-IMA : IMA based Hybrid Platform Architecture for Improving Portability of Flight Software  

Seo, Yongjin (충남대학교 컴퓨터공학과)
Yun, Sangpil (충남대학교 컴퓨터공학과)
Joe, Hyunwoo (충남대학교 컴퓨터공학과)
Kwon, Cheolsoon (충남대학교 컴퓨터공학과)
Kim, Hyungshin (충남대학교 컴퓨터공학과)
Kim, Hyeon Soo (충남대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.3, no.1, 2014 , pp. 7-18 More about this Journal
Abstract
Flight software operated on the on-board computers in the satellite has requirements such as real-time and high reliability. These requirements make dependency between the flight software and operating environments. Further, whenever a new system is built, such problem drives that all flight software are redeveloped. Thus, the dependency between them should be removed. And the work can be achieved by improving the portability of the flight software. In this paper, we propose a platform architecture based on the IMA architecture. The platform architecture is a hybrid one built by blending two kinds of realizations of the IMA architecture in order to maximize portability. In addition, we implement a prototype system and analyze the execution results of the system to justify the proposed architecture. The proposed architecture enables us to remove the dependency between fight software and operating environments.
Keywords
Flight Software; Software Architecture; Portability;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 J. Lee, S. Cha, "Development trends of satellite flight software", Journal of Computing Science and Engineering, vol. 25, no. 2, pp. 43-48, 2007.   과학기술학회마을
2 C. B. Watkins, "Integrated modular avionics: managing the allocation of shared intersystem resources", 25th Digital Avionics Systems Conference (DASC), Portland, Oregon, 2006.
3 R. L. C. Eveleens, "Integrated Modular Avionics Development Guidance and Certification Considerations", National Aerospace Laboratory NLR, 2006.
4 J. E. Smith, R. Nair, "Virtual machines: versatile platforms for systems and processes", Morgan Kaufmann Publishers, San Francisco, CA, USA, 2005.
5 DOT/FAA/AR-99/58, "Partitioning in Avionics Architectures : Requirements, Mechanisms, and Assurance", 2000.
6 ARINC 653-Part 1, "avionics application software standard interface Part 1-Required Services", Airlines electronic engineering committee(AEEC), 2006.
7 S. R. Schach, "Object-Oriented and Classical Software Engineering", 8th ed., ,2002.
8 A. Aquiar, F. Hessel, "Current techniques trends in embedded system's virtualization", Softw., Pract. Exper. vol. 42, no. 7, pp. 917-944, 2012.   DOI
9 Li, Y., et al,. "A Survey of Virtual Machine System: Current Technology and Future Trends.", Third International Symposium on Electronic Commerce and Security, 2010.
10 M. Masmano, I. Ripoll, A. Crespo, "XtratuM Hypervisor for LEON3-usermanual", 2011.
11 R. Kaiser, "Combining Partitioning and Virtualization for Safety-Critical Systems", SYSGO White Paper, 2007.
12 J. Rufino, J. Craveiro, "Robust Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems", 1st INTERAC Research Network, 2008.
13 H. Joe, H. Jeong, Y. Yoon, H. Kim, S. Han, H. W. Jin, "Full virtualizing micro hypervisor for spacecraft flight computer", 31th Digital Avionics Systems Conference (DASC), 2012.