Software Certification of Safety-Critical Avionic Systems: DO-178C and Its Impacts

被引:20
作者
Youn, Won Keun [1 ]
Hong, Seung Bum [1 ]
Oh, Kyung Ryoon [1 ]
Ahn, Oh Sung [1 ]
机构
[1] Aeronaut Res & Dev Head Off, Taejon, South Korea
关键词
Safety engineering - Air navigation - Avionics;
D O I
10.1109/MAES.2014.140109
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
The rapid growth in the use of software in airborne systems and equipment in the early 1980s resulted in a need for industry-accepted guidance for satisfying airworthiness requirements [1]. To assure the reliability of the software and to ultimately ensure the safety of passengers, the U.S. Federal Aviation Administration (FAA) has imposed software certifcation suited to the development of safety-critical systems. The FAA has accepted guidelines developed by the Radio Technical Commission for Aeronautics (RTCA) that respond to the necessity of reliability and safety, which are vital in this feld: DO-178B/EUROCAE ED-12B (DO-178B), titled Software Considerations in Airborne Systems and Equipment Certifcation [1]. DO-178B prescribes design assurance guidance for airborne software. The aim of DO-178B is to assure that software developed for avionics systems is reliable and safe to use in fight [2]. © 2015 IEEE.
引用
收藏
页码:4 / 13
页数:10
相关论文
共 21 条
[1]  
Airborne Software Assurance, 2013, 20115C FAA AC
[2]  
[Anonymous], 2011, RTCA: DO-333
[3]  
[Anonymous], 1996, ARP4761
[4]  
[Anonymous], 2010, ARP4754A SAE INT
[5]  
[Anonymous], 2011, RTCA DO-331 Model-Based Development and Verification Supplement to DO-178C and DO-278A
[6]  
[Anonymous], 2011, RTCA DO-330
[7]  
[Anonymous], 1992, DO178B RTCA
[8]  
Daniels D, 2011, P 6 IET INT C SYST S, P1
[9]  
Dodd I., 2011, RELIABILITY ENG SYST
[10]  
Gigante Gabriella, 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. Proceedings of the 5th International Symposium, ISoLA 2012, P205, DOI 10.1007/978-3-642-34032-1_21