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 条
  • [31] Fault mitigation in safety-critical software systems
    Subramanian, S
    Elliott, L
    Vishnuvajjala, RV
    Tsai, WT
    Mojdehbakhsh, R
    NINTH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, 1996, : 12 - 17
  • [32] Analysing Human Aspects of Safety-Critical Software
    Harrison, Michael D.
    Campos, Jose Creissac
    ERCIM NEWS, 2008, (75): : 18 - 18
  • [33] Testing. Testing safety-critical software
    Redmill, Felix
    Professional Engineering, 1993, 6 (07) : 20 - 21
  • [34] Prediction of Undetected Faults in Safety-Critical Software
    Sundell, Johan
    Torkar, Richard
    Lundqvist, Kristina
    Forsberg, Hakan
    2019 IEEE 12TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2019), 2019, : 296 - 304
  • [35] TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE
    CULLYER, WJ
    STOREY, N
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (05): : 239 - 244
  • [36] OPERATIONAL SAFETY-CRITICAL SOFTWARE METHODS IN RAILWAYS
    GUIHO, G
    MEJIA, F
    INFORMATION PROCESSING '94, VOL III: LINKAGE AND DEVELOPING COUNTRIES, 1994, 53 : 262 - 269
  • [37] SAFETY-CRITICAL SOFTWARE AND CURRENT STANDARDS INITIATIVES
    SHAW, R
    COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 1994, 44 (01) : 5 - 22
  • [38] Formal Modeling and Verification of Safety-Critical Software
    Yoo, Junbeom
    Jee, Eunkyoung
    Cha, Sungdeok
    IEEE SOFTWARE, 2009, 26 (03) : 42 - 49
  • [39] Risky Module Estimation in Safety-Critical Software
    Kim, Young-Mi
    Jeong, Choong-Heui
    Jeong, A-Rang
    Kim, Hyeon Soo
    PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 967 - +
  • [40] Software reuse in safety-critical airborne systems
    Wlad, Joe
    2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 1160 - 1167
12345