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.

中文翻译：

---

安全关键系统在 NPP 系统上的适用性的安全分析：最先进的审查

由于安全关键系统 (SCS) 中的任何风险都可能导致可怕的灾难，因此这些系统的最高质量属性是安全性。研究人员正在努力确保此类系统的安全。本文总结了此类关键系统的安全属性领域的最新技术。进行深入的文献调查以探索用于 SCS 安全分析的几种方法/模型。此类方法在核电厂 (NPP) 的 SCS 中的适用性也显示出其局限性。我们还提出了一个执行安全分析的框架，该框架可以处理这些限制，并在核电厂案例研究中展示了该方法。此外，建议未来工作的方向是在案例研究的基础上进一步扩展研究范围。