Software and hardware certification of safety-critical avionic systems: A comparison study

被引:19
|
作者
Youn, Wonkeun [1 ]
Yi, Baeck-jun [1 ]
机构
[1] Korea Aerosp Res Inst, Aerosp Safety & Certificat Ctr, Taejon 305806, South Korea
基金
新加坡国家研究基金会;
关键词
Software and hardware quality assurance; Airborne software and hardware; Safety certification; DO-178B; DO-254;
D O I
10.1016/j.csi.2014.02.005
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
To ensure the safety of avionic systems, civil avionic software and hardware regulated by certification authorities must be certified based on applicable standards (e.g., DO-178B and DO-254). The overall safety integrity of an avionic system, comprising software and hardware, should be considered at the system level. Thus, software and hardware components should be planned, developed and certified in a unified, harmonized manner to ensure the integral safety of the entire avionic system. One of the reasons for the high development costs of avionic systems complying with standards may be a lack of sufficient understanding of how to employ these standards efficiently. Therefore, it is important to understand the similarities and differences between DO-178B and DO-254 to effectively manage the processes required by these standards, to minimize cost, and to ultimately ensure the safety of the entire avionic system. Thus, the goal of this paper is to compare various aspects of DO-178B and DO-254 comprehensively. The paper may serve as a useful supplementary material for the practitioner to understand the rationales behind and the differences between two main standards used in avionic industries. (C) 2014 Elsevier B.V. All rights reserved.
引用
收藏
页码:889 / 898
页数:10
相关论文
共 50 条
  • [31] 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
  • [32] 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
  • [33] 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
  • [34] A tool for the design and analysis of software safety-critical systems
    Gill, JA
    Ferguson, F
    INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
  • [35] 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
  • [36] 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
  • [37] The Methodology of Software Quality Assurance for Safety-Critical Systems
    Jharko, E. Ph.
    2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
  • [38] 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
  • [39] 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
  • [40] Mandate safety-critical software
    Frisina, J
    COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 12 - 12