Changing safety-critical software

被引：0
|
作者：
Rierson, LK [1 ]
机构：
[1] Fed Aviat Adm, Washington, DC 20591 USA
来源：
IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE | 2001年 / 16卷 / 06期
关键词：
D O I：
10.1109/62.931137
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
Changing software to implement new features, correct problems, update functions, or replace obsolete hardware components (e.g., microprocessors) is a way of life in today's industry. A systematic software change process is essential for the maintenance and reuse of safety-critical software. This paper presents activities to consider when changing software in safety-critical systems. The focus is on the aviation industry; however, the concepts are also applicable to other safety-critical domains, such as medical or nuclear.
引用
收藏
页码：25 / 30
页数：6
相关论文
共 50 条
  • [21] SAFETY-CRITICAL SOFTWARE - A RESEARCH AGENDA
    BERZTISS, AT
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 165 - 181
  • [22] Software testing for safety-critical applications
    Wang, LF
    Tan, KC
    IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
  • [23] Towards the Design of Safety-Critical Software
    Rafeh, R.
    Rabiee, A.
    JOURNAL OF APPLIED RESEARCH AND TECHNOLOGY, 2013, 11 : 683 - 694
  • [24] Timing tolerances in safety-critical software
    Wassyng, A
    Lawford, M
    Hu, XY
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 157 - 172
  • [25] CERTIFICATION OF SAFETY-CRITICAL SOFTWARE BY LICENSED SOFTWARE ENGINEERS
    DAVIS, PI
    COMPUTER, 1992, 25 (12) : 72 - 73
  • [26] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
    SAEED, A
    DELEMOS, R
    ANDERSON, T
    ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
  • [27] DESIGN OF A PLATFORM FOR SAFETY JUSTIFICATION OF SAFETY-CRITICAL SOFTWARE
    Guo Jia
    Yang Ming
    PROCEEDINGS OF THE 25TH INTERNATIONAL CONFERENCE ON NUCLEAR ENGINEERING, 2017, VOL 1, 2017,
  • [28] REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE
    King, Tim
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [29] Integrated formal verification of safety-critical software
    Ge, Ning
    Jenn, Eric
    Breton, Nicolas
    Fonteneau, Yoann
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (04) : 423 - 440
  • [30] Integrated formal verification of safety-critical software
    Ning Ge
    Eric Jenn
    Nicolas Breton
    Yoann Fonteneau
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 423 - 440
12345