References
- http://en.wikipedia.org/wiki/List_of_software_bugs
- F-35 joint strike fighter, problems completing software testing may hinder delivery of expected warfighting capabilities, report, united states government accountability office, GAO-14-322, March 2014
- Lui Sha et al., Single core equivalent virtual machines for hard real-time computing on multicore processors, technical report
- Abdullah Al-Nayeem et al., Middleware design for Physically-Asynchronous Logically-Synchronous(pALS) system, EMSOFT 2013
- https://www.tttech.com/products/product-filter/ttethernet-products/
- http://www.ethercat.org/default.htm
- http://en.wikipedia.org/wiki/Avionics_Full-Duplex_Switched_Ethernet
- http://en.wikipedia.org/wiki/Precision_Time_Protocol
- http://www.windriver.com/products/vxworks/multicore.html
- https://www.sysgo.com/products/pikeos-rtos-andvirtualization-concept/
- 김태호 외, Qplus/Esto-AIR: DO-178B Level A 인증 ARINC 653 지원 실시간 OS 및 개발 도구, 정보과학회지 제 30권 제 9호. 2012.9
- Airlines Electronic Engineering Committee, Avionics Application Software Standard Interface - ARINC Specification 653 - Part 1, Aeronautical Radio Inc., 2006.
- http://www.ebuzz.co.kr/news/article.html?id=20131216800016
- Radio Technical Commission for Aeronautics, "INTEGRATED MODULAR AVIONICS DEVELOPMENT-GUIDANCE AND CERTIFICATION CONSIDERATIONS", RTCA DO-297, 8-Nov-2005.
- RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification. 1st December 1992.
- Eunji Pak, Evaluation of Cache Partitioning: Improving CPU Utilization of Multicore Embedded Processors, ISET 2014
- Min-young Nam et aI., Applying Software Model Checking to PALS systems, 33rd DASC 2014
- 이화영 외, Qplus-AIR 모니터링 뷰어 시스템, 대한 임베디드 공학회 추계 학술대회, 2014.10