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

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.

[1]  Tzong-Shi Liu,et al.  FAILURE ANALYSIS FOR AN AIRBAG INFLATOR BY PETRI NETS , 1997 .

[2]  Eric R. Ziegel,et al.  System Reliability Theory: Models, Statistical Methods, and Applications , 2004, Technometrics.

[3]  Anil Kumar Tripathi,et al.  Approach for parameter estimation in Markov model of software reliability for early prediction: a case study , 2015, IET Softw..

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

[5]  Tzong-Shi Liu,et al.  The application of Petri nets to failure analysis , 1997 .

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

[7]  Seok-Won Lee.  Probabilistic Risk Assessment for Security Requirements: A Preliminary Study , 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.

[8]  Marvin Rausand,et al.  Risk Assessment: Rausand/Risk Assessment , 2011 .

[9]  M. van Ettinger,et al.  An open source toolkit for managing patient monitoring device alarms based on the IHE Alarm Communication Management profile , 2009, 2009 36th Annual Computers in Cardiology Conference (CinC).

[10]  Makis Stamatelatos,et al.  Fault tree handbook with aerospace applications , 2002 .

[11]  C. Constantinescu,et al.  Modelling of the human factor using petri nets , 2007, 2007 iREP Symposium - Bulk Power System Dynamics and Control - VII. Revitalizing Operational Reliability.

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

[13]  Marvin Rausand,et al.  Risk Assessment: Theory, Methods, and Applications , 2011 .

[14]  Yves Dutuit,et al.  Dependability modelling and evaluation by using stochastic Petri nets: application to two test cases , 1997 .

[15]  Anil Kumar Tripathi,et al.  Modeling and Prediction of Performability of Safety Critical Computer Based Systems Using Petri Nets , 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops.

[16]  Winfrid G. Schneeweiss,et al.  Tutorial: Petri nets as a graphical description medium for many reliability scenarios , 2001, IEEE Trans. Reliab..