Safety analysis of safety-critical systems for their applicability on NPP systems: A state-of-the-art review

被引:1
|
作者
Kumar, Vinay [1 ]
Maurya, Ashish Kumar [2 ]
Singh, Karam Veer [3 ]
Singh, Lalit Kumar [4 ]
Singh, Pooja [5 ]
Hati, Aditya Narayan [1 ]
Singh, Vibhav Prakash [2 ]
机构
[1] Natl Inst Technol Jamshedpur, Dept Comp Sci & Engn, Jamshedpur 831014, Bihar, India
[2] Motilal Nehru Natl Inst Technol Allahabad, Dept Comp Sci & Engn, Allahabad, Uttar Pradesh, India
[3] Banaras Hindu Univ, Varanasi, Uttar Pradesh, India
[4] Indian Inst Technol BHU, Varanasi, Uttar Pradesh, India
[5] VJTI, Mumbai, Maharashtra, India
关键词
Markov model; Petri net; reliability; safety analysis; safety-critical system; FORMAL VERIFICATION; SOFTWARE; RELIABILITY; PREDICTION;
D O I
10.1002/qre.2828
中图分类号
T [工业技术];
学科分类号
08 ;
摘要
Since any risk in the safety-critical systems (SCSs) might lead to a terrible disaster, the utmost quality attribute of these systems is safety. Researchers are putting their efforts to ensure the safety of such systems. This paper summarizes the state-of-the-art in the area of the safety attribute of such critical systems. The in depth literature survey is performed to explore the several methods/models used for safety analysis of the SCS. The limitations of such methods are also shown regarding their applicability in SCS of the nuclear power plant (NPP). We also propose a framework to perform safety analysis, which can deal with these limitations and demonstrated the approach on a case study of NPP. Further, the direction for future work is advised to extend the further scope of research based on the case study.
引用
收藏
页码:1796 / 1831
页数:36
相关论文
共 50 条
  • [21] Certification of Safety-Critical Systems
    Leveson, Nancy G.
    Thomas, John P.
    [J]. COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
  • [22] Cybersecurity in safety-critical systems
    Walker, Alastair
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 30 (05)
  • [23] SAFETY-CRITICAL SYSTEMS - INTRODUCTION
    BENNETT, P
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5
  • [24] The ethics of safety-critical systems
    Bowen, J
    [J]. COMMUNICATIONS OF THE ACM, 2000, 43 (04) : 91 - 97
  • [25] Safety-critical systems design
    Douglass, Bruce Powel
    [J]. Electronic Engineering (London), 1998, 70 (862):
  • [26] A Framework for Software Safety in Safety-Critical Systems
    Medikonda, Ben Swarup
    Panchumarthy, Seetha Ramaiah
    [J]. NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
  • [27] Safety assessment for safety-critical systems: a review and commentary of the available techniques
    Carpignano, A
    Morisio, M
    Rambaudi, E
    [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2352 - 2357
  • [28] Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems
    Lanier, Benjamin
    Petnga, Leonard
    [J]. 2019 14TH ANNUAL CONFERENCE SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2019, : 352 - 357
  • [29] Managing Uncertainty in the Design of Safety-Critical Aviation Systems Safety-Critical Unmanned Aerial Systems
    Gebre-Egziabher, Demoz
    [J]. PROCEEDINGS OF THE 31ST INTERNATIONAL TECHNICAL MEETING OF THE SATELLITE DIVISION OF THE INSTITUTE OF NAVIGATION (ION GNSS+ 2018), 2018, : 2297 - 2320
  • [30] Artificial intelligence in safety-critical systems: a systematic review
    Wang, Yue
    Chung, Sai Ho
    [J]. INDUSTRIAL MANAGEMENT & DATA SYSTEMS, 2022, 122 (02) : 442 - 470