Software Certification for Safety-Critical Systems: A Status Report

被引：0
|
作者：
Kornecki, Andrew [1 ]
Zalewski, Janusz [2 ]
机构：
[1] Embry Riddle Aeronaut Univ, Dept Comp & Software Engn, Daytona Beach, FL 32614 USA
[2] Florida Gulf Coast Univ, Dept Comp Sci, Ft Myers, FL 33965 USA
来源：
2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2 | 2008年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents an overview and the role of certification in safety-critical computer systems focusing on software and hardware use in the domain of civil aviation. It discusses certification activities according to RTCA DO-178B "Software Considerations in Airborne Systems and Equipment Certification" and RTCA DO-254 "Design Assurance Guidance for Airborne Electronic Hardware." Specifically, certification issues in real-time operating systems, programming languages, software development tools, complex electronic hardware and tool qualification are discussed. Results of an independent industry survey done by the authors are also presented.
引用
收藏
页码：618 / +
页数：2
相关论文
共 50 条
  • [31] 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
  • [32] 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
  • [33] SAFETY-CRITICAL SOFTWARE - A VIGNETTE
    MCDERMID, J
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (01): : 2 - 3
  • [34] Mandate safety-critical software
    Frisina, J
    COMMUNICATIONS OF THE ACM, 2004, 47 (01) : 12 - 12
  • [35] Changing safety-critical software
    Rierson, LK
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2001, 16 (06) : 25 - 30
  • [36] Perspectives on safety-critical software
    Bhansali, PV
    AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS, 1997, : 108 - 109
  • [37] Verification of Safety-Critical Software
    Andersen, B. Scott
    Romanski, George
    COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
  • [38] Testing safety-critical software
    Nikolaropoulos, E
    HEWLETT-PACKARD JOURNAL, 1997, 48 (03): : 89 - 94
  • [39] EVALUATION OF SAFETY-CRITICAL SOFTWARE
    PARNAS, DL
    VANSCHOUWEN, AJ
    KWAN, SP
    COMMUNICATIONS OF THE ACM, 1990, 33 (06) : 636 - 648
  • [40] 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
12345