고신뢰 시스템을 위한 소프트웨어 플랫폼 요구사항 및 발전 방향

한상현, 이상헌, 진헌욱, "리눅스 기반의 무인항공기를 위한 ARINC 653 프로세스 지원", 정보과학회논문지, 11월호, 2010.
김병호, "항공용운영체제 기술 동향", 전자통신동향분석, 2013. 4
손동환, "항공기 시스템의 SW를 위한 표준", TTA special report, 2014. 7
http://some-ip.com/
David Haworth, Tobias Jordan, Alexander Mattausch, and Alexander Much, "Freedom from Interference for AUTOSAR-based ECUs: a partitioned AUTOSAR stack", Automotive - Safety & Security, volume 210 of LNI, page 85-98. GI, (2012)
http://www.arinc.com/