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 条
  • [31] Are safety-critical systems really survivable to attacks?
    Silva, Helber
    Vieira, Marco
    Neto, Augusto
    2023 IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON, 2023,
  • [32] Safety-Critical Systems: The Next Generation INTRODUCTION
    Bloomfield, Robin
    Lala, Jay
    IEEE SECURITY & PRIVACY, 2013, 11 (04) : 11 - 13
  • [33] Variability Management in Safety-Critical Software Product Line Engineering
    de Oliveira, Andre Luiz
    Braga, Rosana T., V
    Masiero, Paulo C.
    Papadopoulos, Yiannis
    Habli, Ibrahim
    Kelly, Tim
    NEW OPPORTUNITIES FOR SOFTWARE REUSE, 2018, 10826 : 3 - 22
  • [34] Safety Perspective for Supporting Architectural Design of Safety-Critical Systems
    Gurbuz, Havva Gulay
    Tekinerdogan, Bedir
    Er, Nagehan Pala
    SOFTWARE ARCHITECTURE, ECSA 2014, 2014, 8627 : 365 - 373
  • [35] A comparison of methods for calculating the duration of software reliability demonstration testing, particularly for safety-critical systems
    Tal, O
    Bendell, A
    McCollin, C
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2000, 16 (01) : 59 - 62
  • [36] Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems
    Lanier, Benjamin
    Petnga, Leonard
    2019 14TH ANNUAL CONFERENCE SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2019, : 352 - 357
  • [37] How do Practitioners Perceive the Relevance of Requirements Engineering Research? An Ongoing Study
    Franch, Xavier
    Fernandez, Daniel Mendez
    Oriol, Marc
    Vogelsang, Andreas
    Heldal, Rogardt
    Knauss, Eric
    Travassos, Guilherme Horta
    Carver, Jeffrey C.
    Dieste, Oscar
    Zimmermann, Thomas
    2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2017, : 382 - 387
  • [38] Developing requirements management tool for safety-critical systems
    Kildishev, Denis
    Khoroshilov, Alexey
    2019 ACTUAL PROBLEMS OF SYSTEMS AND SOFTWARE ENGINEERING (APSSE 2019), 2019, : 50 - 57
  • [39] Model checking safety-critical systems using safecharts
    Hsiung, Pao-Ann
    Chen, Yean-Ru
    Lin, Yen-Hung
    IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (05) : 692 - 705
  • [40] Specifying safety-critical systems with a decidable duration logic
    Konur, Savas
    SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 264 - 287