Design Verification of Instrumentation and Control Systems of Nuclear Power Plants

Instrumentation and Control systems are the nervous system of a nuclear power plant. They monitor all facets of the plant's health and help respond with care and adjustments needed, thus ensuring goals of efficient power production and safety. Due to safety significance of I&C, it becomes increasingly important to have a design verification methodology which ensures I&C systems fully functional. The strategy discussed the system modeling for design verification using Petri Net, converting it into Markov Chain and solving the linear system mathematically. It also exploits the best attribute of the created Markov model. The approach has been validated on seven sets of operation profile data of reactor control system of seven Nuclear Power Plants. The singular & plural of an acronym are always spelled the same.

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

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

[3]  Kishor S. Trivedi,et al.  Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations , 2007, IEEE International Conference on Services Computing (SCC 2007).

[4]  Christian Kelling.  TimeNET-Sim-a parallel simulator for stochastic Petri nets , 1995, Proceedings of Simulation Symposium.

[5]  Lars Grunske,et al.  Architecture-based reliability evaluation under uncertainty , 2011, QoSA-ISARCS '11.

[6]  Heiko Koziolek,et al.  Parameter Dependencies for Component Reliability Specifications , 2009, Electron. Notes Theor. Comput. Sci..

[7]  Günter Hommel,et al.  TimeNET: evaluation tool for non-Markovian stochastic Petri nets , 1996, Proceedings of IEEE International Computer Performance and Dependability Symposium.

[8]  Swapna S. Gokhale,et al.  Importance measures for modular software with uncertain parameters , 2010, Softw. Test. Verification Reliab..

[9]  Swapna S. Gokhale,et al.  An analytical approach to architecture-based software reliability prediction , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).

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

[11]  John D. Musa,et al.  Operational profiles in software-reliability engineering , 1993, IEEE Software.

[12]  Katerina Goseva-Popstojanova,et al.  Software reliability estimation under certainty: generalization of the method of moments , 2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..

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

[14]  Heiko Koziolek,et al.  Parameterized Reliability Prediction for Component-Based Software Architectures , 2010, QoSA.

[15]  Ralf H. Reussner,et al.  Reliability prediction for component-based software architectures , 2003, J. Syst. Softw..

[16]  C. V. Ramamoorthy,et al.  Software Reliability—Status and Perspectives , 1982, IEEE Transactions on Software Engineering.