Safety Analysis of Life Critical Software Systems: a Case Study of Nuclear Power Plant

Safety Analysis of Life Critical Software Systems: a Case Study of Nuclear Power Plant
复制标题

生命关键软件系统的安全分析：以核电站为例

DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Hitesh Rajput
Hitesh Rajput
中科院分区：
--
文献类型：
--
作者：
L. Singh;Hitesh Rajput

文献摘要

被引文献

相似文献

摘要 当前生命攸关的系统设计完全结合了数字仪器和控制系统。由于此类系统的安全重要性，需要仔细设计以确保其安全要求。然而，数字系统具有一些独特的特性，例如使用软件，并且可能具有与模拟系统不同的故障原因和/或模式；因此，将它们纳入生命攸关的系统、安全分析会带来特殊的挑战。本文讨论了使用Petri网进行安全分析以进行全面证明设计的策略。该技术在核电站的安全关键系统上进行了演示。
ABSTRACT Current life-critical system designs fully incorporate digital instrumentation and control systems. Due to safety significance of such systems, these need to be designed carefully to ensure their safety requirements. However, digital systems have some unique characteristics, such as using software, and may have different failure causes and/or modes than the analog systems; hence, their incorporation into life critical systems, safety analysis entails special challenges. The strategy to perform safety analysis using Petri net for full proof design is discussed in this paper. The technique is demonstrated on a safety critical system of nuclear power plant.