Performance evaluation of safety-critical systems of nuclear power plant systems

Abstract The complexity of safety critical systems of Nuclear Power Plant continues to increase rapidly due its transition from analog to digital systems. It has thus become progressively more imperative to model these systems prior to their implementation in order to meet the high performance, safety and reliability requirements. Timed Petri Nets (TPNs) have been widely used to model such systems for non-functional analysis. The paper presents a novel methodology for the analysis of the performance metrics using PN modeling. The paper uses the isomorphism property of the TPNs and the Markov chains for the performance analysis of the safety critical systems. The presented methodology has been validated on a Shutdown System of a Nuclear Power Plant.

[1]  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.

[2]  M.M.R. Williams.  Nuclear power plant instrumentation and control—A guidebook: (Technical Report No. 239). IAEA, Vienna (1984). 386 pages. 780 Sch , 1985 .

[3]  Gopika Vinod,et al.  Design Verification of Instrumentation and Control Systems of Nuclear Power Plants , 2014, IEEE Transactions on Nuclear Science.

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

[5]  Yonghong Liu,et al.  Application of Petri nets to performance evaluation of subsea blowout preventer system. , 2015, ISA transactions.

[6]  Katerina Goseva-Popstojanova,et al.  Failure correlation in software reliability models , 2000, IEEE Trans. Reliab..

[7]  Swapna S. Gokhale,et al.  Reliability prediction and sensitivity analysis based on software architecture , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[8]  Kishor S. Trivedi,et al.  Quantifying software performance, reliability and security: An architecture-based approach , 2007, J. Syst. Softw..

[9]  Giorgio De Michelis,et al.  On The Synchronic Structure of Transition Systems , 1995, STRICT.

[10]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[11]  Kishor S. Trivedi,et al.  Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package , 2012 .

[12]  Susanna Donatelli,et al.  A compositional semantics for UML state machines aimed at performance evaluation , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[13]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[14]  Mohammad Modarres,et al.  Reliability engineering and risk analysis : a practical guide , 2016 .

[15]  Chiranjeev Kumar,et al.  Suitability analysis of software reliability models for its applicability on NPP systems , 2018, Qual. Reliab. Eng. Int..

[16]  Dai Pan,et al.  Architecture-based software reliability modeling , 2006, J. Syst. Softw..

[17]  Eckehard Schnieder,et al.  Verification of the safety communication protocol in train control system using colored Petri net , 2012, Reliab. Eng. Syst. Saf..

[18]  Heiko Koziolek,et al.  Performance evaluation of component-based software systems: A survey , 2010, Perform. Evaluation.

[19]  Lalit Kumar Singh,et al.  Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets , 2018, IEEE Transactions on Control Systems Technology.

[20]  Nenad Medvidovic,et al.  Early prediction of software component reliability , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[21]  Chiranjeev Kumar,et al.  An optimized technique for reliability analysis of safety‐critical systems: A case study of nuclear power plant , 2018, Qual. Reliab. Eng. Int..