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 条
  • [21] Scrum for safety: an agile methodology for safety-critical software systems
    Barbareschi, Mario
    Barone, Salvatore
    Carbone, Riccardo
    Casola, Valentina
    SOFTWARE QUALITY JOURNAL, 2022, 30 (04) : 1067 - 1088
  • [22] Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems
    Stafford, Milton
    Bhattacharyya, Siddhartha
    Clark, Matthew
    Neogi, Natasha
    Eskridge, Thomas C.
    IEEE SYSTEMS JOURNAL, 2021, 15 (04): : 4852 - 4863
  • [23] ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
    Wei, Ran
    Foster, Simon
    Mei, Haitao
    Yan, Fang
    Yang, Ruizhe
    Habli, Ibrahim
    O'Halloran, Colin
    Tudor, Nick
    Kelly, Tim
    Nemouchi, Yakoub
    JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 213
  • [24] Software Certification for Safety-Critical Systems: A Status Report
    Kornecki, Andrew
    Zalewski, Janusz
    2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 618 - +
  • [25] Designing a B Model for safety-critical software systems
    Taouil-Traverson, S
    Vignes, S
    B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 210 - 225
  • [26] Ensuring system and software reliability in safety-critical systems
    Tsai, WT
    Mojdehbakhsh, R
    Zhu, F
    1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 48 - 53
  • [27] 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
  • [28] A tool for the design and analysis of software safety-critical systems
    Gill, JA
    Ferguson, F
    INFORMATION REUSE AND INTEGRATION, 2001, : 127 - 132
  • [29] 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
  • [30] SAFETY-CRITICAL SOFTWARE - A VIGNETTE
    MCDERMID, J
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (01): : 2 - 3