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 条
  • [41] Exhaustive test cases for the software reliability of safety-critical digital systems in nuclear power plants
    Cho, Jaehyun
    Shin, Sung Min
    Lee, Seung Jun
    Jung, Wondea
    NUCLEAR ENGINEERING AND DESIGN, 2019, 352
  • [42] Model-based assurance evidence management for safety-critical systems
    Luis de la Vara, Jose
    Garcia, Arturo S.
    Valero, Jorge
    Ayora, Clara
    SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
  • [43] Modeling and verification of high-assurance properties of safety-critical systems
    Tsai, JJP
    Juan, EYT
    COMPUTER JOURNAL, 2001, 44 (06): : 504 - 530
  • [44] Software Certification of Safety-Critical Avionic Systems: DO-178C and Its Impacts
    Youn, Won Keun
    Hong, Seung Bum
    Oh, Kyung Ryoon
    Ahn, Oh Sung
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2015, 30 (04) : 4 - 13
  • [45] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [46] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [47] Requirements Engineering for Safety-Critical Systems: An Interview Study with Industry Practitioners
    Martins, Luiz Eduardo G.
    Gorschek, Tony
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2020, 46 (04) : 346 - 361
  • [48] Software tools for safety-critical software development
    Alan Wassyng
    Mark Lawford
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354
  • [49] A Framework for Software Reuse in Safety-Critical System-of-Systems
    Warren, Bradley
    Michael, James Bret
    Shing, Man-Tak
    2008 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2008, : 402 - +
  • [50] Design-Phase Considerations for Safety-Critical Software Systems
    Gowen, L. D.
    Collofello, J. S.
    Programming and Computer Software (English Translation of Programmirovanie), 1994, 20 (05):