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 条
  • [41] SAFETY-CRITICAL SOFTWARE - A VIGNETTE
    MCDERMID, J
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (01): : 2 - 3
  • [42] Perspectives on safety-critical software
    Bhansali, PV
    AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
  • [43] Changing safety-critical software
    Rierson, LK
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2001, 16 (06) : 25 - 30
  • [44] Verification of Safety-Critical Software
    Andersen, B. Scott
    Romanski, George
    COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
  • [45] Testing safety-critical software
    Nikolaropoulos, E
    HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
  • [46] EVALUATION OF SAFETY-CRITICAL SOFTWARE
    PARNAS, DL
    VANSCHOUWEN, AJ
    KWAN, SP
    COMMUNICATIONS OF THE ACM, 1990, 33 (06) : 636 - 648
  • [47] 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
  • [48] 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
  • [49] 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
  • [50] Hardware and Software Framework for an Open Battery Management System in Safety-Critical Applications
    Akdere, M.
    Giegerich, M.
    Wenger, M.
    Schwarz, R.
    Koffel, S.
    Fuehner, T.
    Waldhoer, S.
    Wachtler, J.
    Lorentz, V. R. H.
    Maerz, M.
    PROCEEDINGS OF THE IECON 2016 - 42ND ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2016, : 5507 - 5512