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 (충남대학교 컴퓨터공학과) |
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. |
![]() |