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
来源
2018 IEEE/ACM 11TH INTERNATIONAL WORKSHOP ON COOPERATIVE AND HUMAN ASPECTS OF SOFTWARE ENGINEERING (CHASE) | 2018年
基金
美国国家科学基金会;
关键词
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] 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,
  • [2] A Methodology for Modeling Software Safety in Safety-Critical Computing Systems
    Kumar, S. Phani
    Ramaiah, P. Seetha
    Khanaa, V.
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2009, 9 (07): : 185 - 193
  • [3] Software reliability analysis for safety-critical and control systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353
  • [4] A tool for the design and analysis of software safety-critical systems
    Gill, JA
    Ferguson, F
    INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
  • [5] Software Product Line Engineering for Safety-critical Systems
    Lohmueller, Philipp
    Bauer, Bernhard
    MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 209 - 216
  • [6] 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
  • [7] 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
  • [8] 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
  • [9] Dependability of safety-critical systems
    Buja, G
    Castellan, S
    Menis, R
    Zuccollo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
  • [10] A Safe, Secure, and Predictable Software Architecture for Deep Learning in Safety-Critical Systems
    Biondi, Alessandro
    Nesti, Federico
    Cicero, Giorgiomaria
    Casini, Daniel
    Buttazzo, Giorgio
    IEEE EMBEDDED SYSTEMS LETTERS, 2020, 12 (03) : 78 - 82