How Do Practitioners Perceive Assurance Cases in Safety-Critical Software Systems?

被引:9
|
作者
Cheng, Jinghui [1 ]
Goodrum, Micayla [2 ]
Metoyer, Ronald [2 ]
Cleland-Huang, Jane [2 ]
机构
[1] Polytech Montreal, Montreal, PQ, Canada
[2] Univ Notre Dame, Notre Dame, IN 46556 USA
基金
美国国家科学基金会;
关键词
Safety-critical systems; safety assurance case; practitioner perspectives; empirical study;
D O I
10.1145/3195836.3195838
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Safety-critical software systems are those whose failure or malfunction could result in casualty and/or serious financial loss. In such systems, safety assurance cases (SACs) are an emerging approach that adopts a proactive strategy to produce structuralized safety justifications and arguments. While SACs are recommended in many software-intensive safety-critical domains, the lack of knowledge regarding the practitioners' perspectives on using SACs hinders effective adoption of this approach. To gain such knowledge, we interviewed nine practitioners and safety experts who focused on safety-critical software systems. In general, our participants found the SAC approach beneficial for communication of safety arguments and management of safety issues in a multidisciplinary setting. The challenges they faced when using SACs were primarily associated with (1) a lack of tool support, (2) insufficient process integration, and (3) scarcity of experienced personnel. To overcome those challenges, our participants suggested tactics that focused on creating direct safety arguments. Process and organizational adjustments are also needed to streamline SAC analysis and creation. Finally, our participants emphasized the importance of knowledge sharing about SACs across software-intensive safety-critical domains.
引用
收藏
页码:57 / 60
页数:4
相关论文
共 50 条
  • [1] The Methodology of Software Quality Assurance for Safety-Critical Systems
    Jharko, E. Ph.
    2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
  • [2] Software Engineering of Safety-Critical Systems: Themes From Practitioners
    Laplante, Phillip A.
    DeFranco, Joanna F.
    IEEE TRANSACTIONS ON RELIABILITY, 2017, 66 (03) : 825 - 836
  • [3] Reducing Software Assurance Risks for Security-Critical and Safety-Critical Systems
    Axelrod, C. Warren
    2014 IEEE LONG ISLAND SYSTEMS, APPLICATIONS AND TECHNOLOGY CONFERENCE (LISAT), 2014,
  • [4] Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems
    Lin, Chung-Ling
    Shen, Wuwei
    2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2015, : 255 - 262
  • [5] 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
  • [6] Measure Confidence of Assurance Cases in Safety-Critical Domains
    Lin, Chung-Ling
    Shen, Wuwei
    Drager, Steven
    Cheng, Betty
    2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS (ICSE-NIER), 2018, : 13 - 16
  • [7] Software Tools for Safety-Critical Systems According to DO-254
    Kornecki, Andrew
    Butka, Brian
    Zalewski, Janusz
    COMPUTER, 2008, 41 (12) : 111 - 114
  • [8] Quality Assurance in Agile Safety-Critical Systems Development
    McBride, Tom
    Lepmets, Marion
    PROCEEDINGS 2016 10TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2016, : 44 - 51
  • [9] 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
  • [10] Software reuse in safety-critical airborne systems
    Wlad, Joe
    2006 IEEE/AIAA 25TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1- 3, 2006, : 1160 - 1167