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 条

[41] Software Product Line Engineering for Safety-critical Systems
Lohmueller, Philipp
Bauer, Bernhard
MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 209 - 216
[42] A tool for the design and analysis of software safety-critical systems
Gill, JA
Ferguson, F
INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
[43] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
Gannous, Aiman
Andrews, Anneliese
2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
[44] The Methodology of Software Quality Assurance for Safety-Critical Systems
Jharko, E. Ph.
2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
[45] Software reliability analysis for safety-critical and control systems
Kumar, Pramod
Singh, Lalit Kumar
Kumar, Chiranjeev
QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353
[46] Complete Component-Wise Software Certification for Safety-Critical Embedded Devices
Streitferdt, Detlef
Zimmermann, Armin
Schaffner, Joerg
Kallenbach, Michael
2018 IEEE 9TH ANNUAL INFORMATION TECHNOLOGY, ELECTRONICS AND MOBILE COMMUNICATION CONFERENCE (IEMCON), 2018, : 597 - 602
[47] Scheduling Periodic Task Graphs for Safety-Critical Time-Triggered Avionic Systems
Hu, Menglan
Luo, Jun
Wang, Yang
Veeravalli, Bharadwaj
IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 2015, 51 (03) : 2294 - 2304
[48] Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems
Dondossola, G
VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 113 - 130
[49] Validation and certification of safety-critical embedded systems -: The DECOS test bench
Schoitsch, Erwin
Althammer, Egbert
Eriksson, Henrik
Vinter, Jormy
Goenczy, Laszlo
Pataricza, Andras
Csertan, Gyoergy
COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 372 - 385
[50] Generating evidence for certification of modern processors for use in safety-critical systems
Bate, I
Conmy, P
McDermid, J
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 125 - 134

← 1 2 3 4 5 →