Acknowledgement
Supported by : 한국연구재단
References
- C.H. Song, "Focus on Advanced Avionics Technology," IT SoC Magazine, No. 34. pp.24-31. 2009. (in Korean)
- S.H. Han, J.S. Seok, H.W. Jin, "A Partition Scheduling Scheme to Support Efficient Mixed Partitioning," Journal of KIISE : Computer Systems and Theory, Vol. 19, No. 2, pp. 85-89, 2013. (in Korean)
- Alameda, "VxWorks 653 for Integrated Modular Avionics," Wind River White Paper, 2007.
- LynxOS-178[Online], Available: http://www.lynuxworks.com/rtos/rtos-178.php.
- R. Kaiser, "The PikeOS concept history and design," SYSGO White Paper, 2007.
- Green Hills[Online], Available: http://www.ghs.com/products/safety_critical/integrity-do-178b.html.
- S.H. Han, H.W. Jin, "Kernel-Level ARINC 653 Partitioning for Linux," In Proc. of 27th ACM Symposium On Applied Computing Trento, Italy, pp. 1632-1637, Mar. 2012.
- Fabio Checconi, Tommaso Cucinotta, Dario Faggioli, Giuseppe Lipari, "Hierarchical Multiprocessor CPU Reservations for the Linux Kernel," in Proc. of the 5th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, Dublin, Ireland, pp. 15-22, 2009.
- M. Asberg, T. Nolte, S. Kato, and R. Rajkumar," ExSched: An external cpu scheduler framework for real-time systems," In Proc. of the 13th IEEE Conference on Embedded and Real-Time Computing Systems and Applications, pp. 47-57, 2007.
- J. Calandrino, H. Leontyev, A. Block, U. Devi, and J.Anderson, "LITMUS RT: A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers," In Proc. of the 27th Real-Time Systems Symposium, Rio de Janeiro, Brazil, pp. 111-123, 2006.
- QPLUS-653 [Online], Available: http://www.embeddedworld.co.kr/atl/view.asp?a_id=5012.
- M. Asberg, T. Nolte, "Towards a user-mode approach to partitioned scheduling in the seL4 microkernel," In Proc. of 5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, San Juan, Puerto Rico, pp.15-22, Dec. 2012.