Software tools for safety-critical software development

被引：13
|
作者：
Alan Wassyng
Mark Lawford
机构：
[1] McMaster University,The Software Quality Research Laboratory, Department of Computing and Software
来源：
International Journal on Software Tools for Technology Transfer | 2006年 / 8卷 / 4-5期
关键词：
Software Design; Function Table; Naval Research Laboratory; Proof Obligation; Access Program;
D O I：
10.1007/s10009-005-0209-6
中图分类号：
学科分类号：
摘要：
We briefly present a software methodology for safety-critical software, developed over many years to cope with industrial safety-critical applications in the Canadian nuclear industry. Following this we present discussion on software tools that have been used to support this methodology, and software tools that could be used, but have not been used for a variety of reasons. Based on our experience, we also present and motivate a list of high-level requirements for tools that would facilitate the development of safety-critical software using the presented methods, together with a small number of tools that we believe are worth developing in the future.
引用
收藏
页码：337 / 354
页数：17
相关论文
共 50 条
  • [31] An approach for testing safety-critical software
    Li, WW
    Xu, ZW
    Jin, Y
    NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
  • [32] SAFETY-CRITICAL SOFTWARE - A RESEARCH AGENDA
    BERZTISS, AT
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 165 - 181
  • [33] Software testing for safety-critical applications
    Wang, LF
    Tan, KC
    IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2005, 8 (02) : 38 - 47
  • [34] Towards the Design of Safety-Critical Software
    Rafeh, R.
    Rabiee, A.
    JOURNAL OF APPLIED RESEARCH AND TECHNOLOGY, 2013, 11 : 683 - 694
  • [35] Timing tolerances in safety-critical software
    Wassyng, A
    Lawford, M
    Hu, XY
    FM 2005: FORMAL METHODS, PROCEEDINGS, 2005, 3582 : 157 - 172
  • [36] Development of Safety-Critical Software Systems Using Open Source Software - A Systematic Map
    Sulaman, Sardar Muhammad
    Orucevic-Alagic, Alma
    Borg, Markus
    Wnuk, Krzysztof
    Host, Martin
    de la Vara, Jose Luis
    2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 17 - 24
  • [37] Software Qualification Approach for Safety-Critical Software of the Embedded System
    Kim, Jangyeol
    Kim, Soongohn
    COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
  • [38] Cost-effective development of safety-critical embedded software
    Automotive Industries AI, 2007, 187 (04):
  • [39] ON THE SAFETY ANALYSIS OF REQUIREMENTS SPECIFICATIONS FOR SAFETY-CRITICAL SOFTWARE
    SAEED, A
    DELEMOS, R
    ANDERSON, T
    ISA TRANSACTIONS, 1995, 34 (03) : 283 - 295
  • [40] 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,
12345