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 条
  • [21] CERTIFICATION OF SAFETY-CRITICAL SOFTWARE BY LICENSED SOFTWARE ENGINEERS
    DAVIS, PI
    COMPUTER, 1992, 25 (12) : 72 - 73
  • [22] Software Tools for Safety-Critical Systems According to DO-254
    Kornecki, Andrew
    Butka, Brian
    Zalewski, Janusz
    COMPUTER, 2008, 41 (12) : 111 - 114
  • [23] The quantitative safety assessment for safety-critical software
    Yu, YY
    Johnson, BW
    29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
  • [24] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [25] Reliability modeling for safety-critical software
    Schneidewind, NF
    IEEE TRANSACTIONS ON RELIABILITY, 1997, 46 (01) : 88 - 98
  • [26] Can safety-critical software be flexible?
    Fraser, SW
    PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION, 2003, : 588 - 593
  • [27] Interactive Verification of Safety-Critical Software
    da Cruz, Daniela
    Henriques, Pedro Rangel
    Pinto, Jorge Sousa
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 519 - 528
  • [28] Software reuse: A safety-critical primer
    Wlad, Joseph
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2007, 22 (04) : 18 - 22
  • [29] Verification of requirements for safety-critical software
    Carpenter, PB
    ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 23 - 29
  • [30] Toward dependable safety-critical software
    Bastani, F
    Cukic, B
    Hilford, V
    Jamoussi, A
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 86 - 92
12345