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
关键词
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 条
  • [31] OPEN PLATFORM FOR EVOLUTIONARY CERTIFICATION OF SAFETY-CRITICAL SYSTEMS INTRODUCTION
    Larrucea, Xabier
    Combelles, Annie
    Favaro, John
    IEEE SOFTWARE, 2013, 30 (03) : 26 - 27
  • [32] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
    Kumar, S. Phani
    Ramaiah, P. Seetha
    Khanaa, V.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193
  • [33] Scrum for safety: an agile methodology for safety-critical software systems
    Mario Barbareschi
    Salvatore Barone
    Riccardo Carbone
    Valentina Casola
    Software Quality Journal, 2022, 30 : 1067 - 1088
  • [34] Software safety risk in legacy safety-critical computer systems
    Hill, Janice
    Baggs, Rhoda
    PROCEEDINGS IEEE SOUTHEASTCON 2007, VOLS 1 AND 2, 2007, : 229 - +
  • [35] Scrum for safety: an agile methodology for safety-critical software systems
    Barbareschi, Mario
    Barone, Salvatore
    Carbone, Riccardo
    Casola, Valentina
    SOFTWARE QUALITY JOURNAL, 2022, 30 (04) : 1067 - 1088
  • [36] Network performance impacts on operators in safety-critical systems
    Bayrak, T
    Grabowski, MR
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY & DECISION MAKING, 2006, 5 (01) : 173 - 194
  • [37] Designing a B Model for safety-critical software systems
    Taouil-Traverson, S
    Vignes, S
    B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 210 - 225
  • [38] A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries
    Yiannis Papadopoulos
    John A. McDermid
    Requirements Engineering, 1998, 3 (2) : 143 - 149
  • [39] Ensuring system and software reliability in safety-critical systems
    Tsai, WT
    Mojdehbakhsh, R
    Zhu, F
    1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53
  • [40] An Ontological Analysis of Safety-Critical Software and Its Anomalies
    Liu, Hezhen
    Jin, Zhi
    Zheng, Zheng
    Huang, Chengqiang
    Zhang, Xun
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 311 - 320