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 条
  • [21] ANALYSIS OF TIMELINESS REQUIREMENTS IN SAFETY-CRITICAL SYSTEMS
    DELEMOS, R
    SAEED, A
    ANDERSON, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 571 : 171 - 192
  • [22] Verifying a scheduling protocol of safety-critical systems
    Meng Wang
    Cong Tian
    Nan Zhang
    Zhenhua Duan
    Hongwei Du
    Journal of Combinatorial Optimization, 2019, 37 : 1191 - 1215
  • [23] Gender, Sentiment and Emotions, and Safety-Critical Systems
    Carver, Jeffrey
    Capilla, Rafael
    Penzenstadler, Birgit
    Serebrenik, Alexander
    Valdezate, Alejandro
    IEEE SOFTWARE, 2018, 35 (06) : 16 - 19
  • [24] Predictable GPUWavefront Splitting for Safety-Critical Systems
    Klashtorny, Artem
    Wu, Zhuanhao
    Kaushik, Anirudh Mohan
    Patel, Hiren
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2023, 22 (05)
  • [25] Visualizing Change in Agile Safety-Critical Systems
    Cleland-Huang, Jane
    Agrawal, Ankit
    Vierhauser, Michael
    Mayr-Dorn, Christoph
    IEEE SOFTWARE, 2021, 38 (03) : 43 - 51
  • [26] Challenges of Scaled Agile for Safety-Critical Systems
    Steghofer, Jan-Philipp
    Knauss, Eric
    Horkoff, Jennifer
    Wohlrab, Rebekka
    PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2019, 2019, 11915 : 350 - 366
  • [27] The Analysis of Methods for Programming Safety-critical Systems
    Cais, Stepan
    Herout, Pavel
    INFORMATICS 2013: PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON INFORMATICS, 2013, : 39 - 44
  • [28] A Predictable Framework for Safety-Critical Embedded Systems
    Andalam, Sidharta
    Roop, Partha S.
    Girault, Alain
    Traulsen, Claus
    IEEE TRANSACTIONS ON COMPUTERS, 2014, 63 (07) : 1600 - 1612
  • [29] Verifying a scheduling protocol of safety-critical systems
    Wang, Meng
    Tian, Cong
    Zhang, Nan
    Duan, Zhenhua
    Du, Hongwei
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 2019, 37 (04) : 1191 - 1215
  • [30] Recent Advances towards the Industrial Application of Model-Driven Engineering for Assurance of Safety-Critical Systems
    Luis de la Vara, Jose
    Ruiz, Alejandra
    Espinoza, Huascar
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 632 - 641