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 条
  • [41] 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
  • [42] 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
  • [43] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [44] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [45] Software tools for safety-critical software development
    Alan Wassyng
    Mark Lawford
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354
  • [46] Software Engineering of Safety-Critical Systems: Themes From Practitioners
    Laplante, Phillip A.
    DeFranco, Joanna F.
    IEEE TRANSACTIONS ON RELIABILITY, 2017, 66 (03) : 825 - 836
  • [47] A Framework for Software Reuse in Safety-Critical System-of-Systems
    Warren, Bradley
    Michael, James Bret
    Shing, Man-Tak
    2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 402 - +
  • [48] Design-Phase Considerations for Safety-Critical Software Systems
    Gowen, L. D.
    Collofello, J. S.
    Programming and Computer Software (English Translation of Programmirovanie), 1994, 20 (05):
  • [49] Software tools to support incident reporting in safety-critical systems
    Johnson, C
    SAFETY SCIENCE, 2002, 40 (09) : 765 - 780
  • [50] Efficient engineering of safety-critical, software-intensive systems
    Taiber, Joachim
    McGregor, John D.
    2014 INTERNATIONAL CONFERENCE ON CONNECTED VEHICLES AND EXPO (ICCVE), 2014, : 836 - 841
12345