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

被引：18

作者：

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 条

[21] Towards DO-178C Certification of Adaptive Learning UAV Agents Designed with a Cognitive Architecture
Pyrgies, John
2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2020), 2020, : 174 - 177
[22] RISK-BASED ALTERNATIVES TO THE DO-178C SOFTWARE DESIGN ASSURANCE PROCESS
Lester, Edward A.
2015 IEEE/AIAA 34TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2015,
[23] LynxOS-178 2.0 provides comprehensive open-standards support and certification for safety-critical systems
不详
AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2005, 77 (02): : 182 - 182
[24] Fault mitigation in safety-critical software systems
Subramanian, S
Elliott, L
Vishnuvajjala, RV
Tsai, WT
Mojdehbakhsh, R
NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
[25] How Do Practitioners Perceive Assurance Cases in Safety-Critical Software Systems?
Cheng, Jinghui
Goodrum, Micayla
Metoyer, Ronald
Cleland-Huang, Jane
2018 IEEE/ACM 11TH INTERNATIONAL WORKSHOP ON COOPERATIVE AND HUMAN ASPECTS OF SOFTWARE ENGINEERING (CHASE), 2018, : 57 - 60
[26] Risk-Based Alternatives to the DO-178C Software Design Assurance Process
Lester, Edward Ted
2015 IEEE/AIAA 34TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2015,
[27] Software reuse in safety-critical airborne systems
Wlad, Joe
2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 1160 - 1167
[28] Component-Wise Software Certification for Safety-Critical Embedded Devices
Streitferdt, Detlef
Zimmermann, Armin
Schaffner, Joerg
Kallenbach, Michael
2017 8TH ANNUAL INDUSTRIAL AUTOMATION AND ELECTROMECHANICAL ENGINEERING CONFERENCE (IEMECON), 2017, : 175 - 180
[29] A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software
Zoughbi, Gregory
Briand, Lionel
Labiche, Yvan
MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4735 : 574 - +
[30] Hardware Certification for Safety-Critical Real-Time Systems
Kornecki, Andrew J.
Zalewski, Janusz
IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12

← 1 2 3 4 5 →