Verification of Safety in Safety Critical Computer-Based Systems: A Case Study of Nuclear Power Plant System

Abstract Verification of safety is a key activity in designing safety critical systems. The objective of safety verification is to avoid unacceptable risk of damage to public health or property or physical injury by any means. To ensure the goals of safety, these systems must reach a safe state for the occurrence of any failure. There is a need to verify the design of such systems to identify and overcome the probable risks, if any. This paper presents a case for safety verification of the main steam system of a nuclear reactor. The technique shown is based on Petri nets, to model and analyze the safety critical computer-based systems for safety verification. The paper further argues that the proposed technique is beneficial in improving faulty design.

[1]  Scott A. Mahlke,et al.  Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software , 2013, IEEE Transactions on Automatic Control.

[2]  Jongmoon Baik,et al.  An Embedded Software Reliability Model with Consideration of Hardware Related Software Failures , 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability.

[3]  Nima Khakzad,et al.  Safety analysis in process facilities: Comparison of fault tree and Bayesian network approaches , 2011, Reliab. Eng. Syst. Saf..

[4]  Rui Xu,et al.  Research on reliability modeling of complex system based on dynamic fault tree , 2009 .

[5]  Anil Kumar Tripathi,et al.  Reliability prediction through system modeling , 2013, SOEN.

[6]  Anders Moen Hagalisletto,et al.  Constructing and Refining Large-Scale Railway Models Represented by Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[7]  Didier Buchs,et al.  Perspectives in the Use of Coloured Petri Nets for Risk Analysis and Accident Modelling , 2003 .

[8]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[9]  William Marsh,et al.  Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment , 2005, SAFECOMP.

[10]  Luigi Portinale,et al.  Improving the analysis of dependable systems by mapping fault trees into Bayesian networks , 2001, Reliab. Eng. Syst. Saf..

[11]  Farooq Ahmad,et al.  Modeling and analysis of departure routine in air traffic control based on Petri nets , 2014, Neural Computing and Applications.

[12]  F. D’Auria,et al.  Relap5 simulation of Darlington Nuclear Generating Station Loss of Flow Event , 2014 .

[13]  Alessandro Giua,et al.  Modeling and Supervisory Control of Railway Networks Using Petri Nets , 2008, IEEE Transactions on Automation Science and Engineering.