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

被引：17

作者：

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

来源：

IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE | 2015年 / 30卷 / 04期

关键词：

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

共 50 条

[1] Applying COCOMO II for a DO-178C Safety-Critical Software Effort Estimation
dos Santos, Lucas Pereira
Ferreira, Mauricio
JOURNAL OF AEROSPACE TECHNOLOGY AND MANAGEMENT, 2019, 11
[2] Software and hardware certification of safety-critical avionic systems: A comparison study
Youn, Wonkeun
Yi, Baeck-jun
COMPUTER STANDARDS & INTERFACES, 2014, 36 (06) : 889 - 898
[3] Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems
Baron, Claude
Louis, Vincent
COMPUTERS IN INDUSTRY, 2023, 148
[4] Innovation and Certification in Aviation Software DO-178C and aviation software 'cost'
Kennedy, Jaiden
Towhidnejad, Massood
2017 INTEGRATED COMMUNICATIONS, NAVIGATION AND SURVEILLANCE CONFERENCE (ICNS), 2017,
[5] Software Certification of Airborne Cyber-Physical Systems under DO-178C
Basagiannis, Stylianos
PROCEEDINGS OF THE 2016 WORKSHOP ON SYMBOLIC AND NUMERICAL METHODS FOR REACHABILITY ANALYSIS (SNR), 2016,
[6] Understanding DO-178C Software Certification: Benefits Versus Costs
Hilderman, Vance
2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2014, : 114 - U631
[7] Software Certification for Safety-Critical Systems: A Status Report
Kornecki, Andrew
Zalewski, Janusz
2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 618 - +
[8] Certification of Safety-Critical Systems
Leveson, Nancy G.
Thomas, John P.
COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
[9] DO-178C: The Next Avionics Safety Standard
Brosgol, Benjamin M.
SIGADA 2011: PROCEEDINGS OF THE 2011 ACM INTERNATIONAL CONFERENCE ON ADA AND RELATED TECHNOLOGIES, 2011, : 5 - 5
[10] CERTIFICATION OF SAFETY-CRITICAL SOFTWARE BY LICENSED SOFTWARE ENGINEERS
DAVIS, PI
COMPUTER, 1992, 25 (12) : 72 - 73

← 1 2 3 4 5 →