Perspectives on safety-critical software

被引：0
|
作者：
Bhansali, PV
机构：
来源：
AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE - PROCEEDINGS | 1997年
关键词：
D O I：
10.1109/ASWEC.1997.623760
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：108 / 109
页数：2
相关论文
共 50 条
  • [21] SAFETY-CRITICAL SOFTWARE - A RESEARCH AGENDA
    BERZTISS, AT
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 165 - 181
  • [22] Towards the Design of Safety-Critical Software
    Rafeh, R.
    Rabiee, A.
    JOURNAL OF APPLIED RESEARCH AND TECHNOLOGY, 2013, 11 : 683 - 694
  • [23] Software testing for safety-critical applications
    Wang, LF
    Tan, KC
    IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
  • [24] Timing tolerances in safety-critical software
    Wassyng, A
    Lawford, M
    Hu, XY
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 157 - 172
  • [25] Practitioners' Perspectives on Change Impact Analysis for Safety-Critical Software - A Preliminary Analysis
    Borg, Markus
    Luis de la Vara, Jose
    Wnuk, Krzysztof
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 346 - 358
  • [26] CERTIFICATION OF SAFETY-CRITICAL SOFTWARE BY LICENSED SOFTWARE ENGINEERS
    DAVIS, PI
    COMPUTER, 1992, 25 (12) : 72 - 73
  • [27] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
    SAEED, A
    DELEMOS, R
    ANDERSON, T
    ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
  • [28] 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,
  • [29] REUSING CERTIFIED, SAFETY-CRITICAL AVIONICS SOFTWARE
    King, Tim
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [30] 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
12345