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 条
  • [1] Reliability of safety-critical systems: A state-of-the-art review
    Maurya, Ankur
    Kumar, Divya
    [J]. QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (07) : 2547 - 2568
  • [2] Reliability analysis of safety-critical and control systems: a state-of-the-art review
    Kumar, Vinay
    Singh, Lalit
    Tripathi, Anil K.
    [J]. IET SOFTWARE, 2018, 12 (01) : 1 - 18
  • [3] A state-of-the-art review on performance measurement petri net models for safety critical systems of NPP
    Jyotish, Nand Kumar
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    [J]. ANNALS OF NUCLEAR ENERGY, 2022, 165
  • [4] STATE-OF-THE-ART IN SAFETY SYSTEMS
    TINHAM, B
    [J]. CONTROL AND INSTRUMENTATION, 1987, 19 (02): : 47 - &
  • [5] Availability analysis of safety-critical and control systems of NPP using stochastic modeling
    Kumar, Pramod
    Singh, Lalit Kumar
    Chaudhari, Nilesh
    Kumar, Chiranjeev
    [J]. ANNALS OF NUCLEAR ENERGY, 2020, 147
  • [6] Parameter Estimation for Quantitative Dependability Analysis of Safety-Critical and Control Systems of NPP
    Kumar, Vinay
    Singh, Lalit Kumar
    Singh, Pooja
    Singh, Karm Veer
    Maurya, Ashish Kumar
    Tripathi, Anil Kumar
    [J]. IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2018, 65 (05) : 1080 - 1090
  • [7] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    [J]. SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [8] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    [J]. ROBOTICA, 1990, 8 : 184 - 184
  • [9] SysML Aided Safety Analysis for Safety-Critical Systems
    Li, Guoqi
    Wang, Boxuan
    [J]. ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 270 - 275
  • [10] Safety Analysis of Safety-Critical Systems Using State-Space Models
    Kumar, Vinay
    Singh, Lalit Kumar
    Tripathi, Anil Kumar
    Singh, Pooja
    [J]. IEEE SOFTWARE, 2017, 34 (04) : 38 - 45