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 条
  • [1] Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems
    Baron, Claude
    Louis, Vincent
    [J]. COMPUTERS IN INDUSTRY, 2023, 148
  • [2] Software Certification of Safety-Critical Avionic Systems: DO-178C and Its Impacts
    Youn, Won Keun
    Hong, Seung Bum
    Oh, Kyung Ryoon
    Ahn, Oh Sung
    [J]. IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2015, 30 (04) : 4 - 13
  • [3] Software Certification for Safety-Critical Systems: A Status Report
    Kornecki, Andrew
    Zalewski, Janusz
    [J]. 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 618 - +
  • [4] Hardware Certification for Safety-Critical Real-Time Systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    [J]. IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12
  • [5] Certification of Safety-Critical Systems
    Leveson, Nancy G.
    Thomas, John P.
    [J]. COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
  • [6] CERTIFICATION OF SAFETY-CRITICAL SOFTWARE BY LICENSED SOFTWARE ENGINEERS
    DAVIS, PI
    [J]. COMPUTER, 1992, 25 (12) : 72 - 73
  • [7] Hardware certification for real-time safety-critical systems: State of the art
    Kornecki, Andrew J.
    Zalewski, Janusz
    [J]. ANNUAL REVIEWS IN CONTROL, 2010, 34 (01) : 163 - 174
  • [8] Certification of software tools used in safety-critical software development
    Schuster, Gyorgy
    [J]. 2022 IEEE 5TH INTERNATIONAL CONFERENCE AND WORKSHOP OBUDA ON ELECTRICAL AND POWER ENGINEERING, CANDO-EPE, 2022, : 211 - 215
  • [9] SafeX: Open Source Hardware and Software Components for Safety-Critical Systems
    Alcaide, Sergi
    Cabo, Guillem
    Bas, Francisco
    Benedicte, Pedro
    Fuentes, Francisco
    Chang, Feng
    Lasfar, Ilham
    Canal, Ramon
    Abella, Jaume
    [J]. PROCEEDINGS OF THE 2022 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2022,
  • [10] Towards a continuous certification of safety-critical avionics software
    Baron, Claude
    Louis, Vincent
    [J]. COMPUTERS IN INDUSTRY, 2021, 125