Browse > Article
http://dx.doi.org/10.1016/j.net.2019.08.018

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

Kumar, Pramod (Department of Computer Science & Engineering, Indian Institute of Technology (ISM))
Singh, Lalit Kumar (Department of Computer Science & Engineering, Indian Institute of Technology (BHU))
Kumar, Chiranjeev (Department of Computer Science & Engineering, Indian Institute of Technology (ISM))
Publication Information
Nuclear Engineering and Technology / v.52, no.3, 2020 , pp. 560-567 More about this Journal
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.
Keywords
Performance; Safety critical systems; Petri nets; Markov chain;
Citations & Related Records
연도 인용수 순위
  • Reference
1 W.C. Lipinski, Nuclear Power Plant Instrumentation and ControldA Guidebook, International Atomic Energy Agency, Vienna, Austria, 1984.
2 N.G. Leveson, J.L. Stolzy, Safety analysis using Petri nets, IEEE Trans. Softw. Eng. 3 (1987) 386-397.
3 P. Kumar, L.K. Singh, C. Kumar, Suitability analysis of software reliability models for its applicability on NPP systems, Qual. Reliab. Eng. Int. 34 (8) (2018) 1491-1509.   DOI
4 Heiko Koziolek, Performance evaluation of component-based software systems: a survey, Perform. Eval 67 (8) (2010) 634-658.   DOI
5 S.S. Gokhale, K. S Trivedi, Reliability prediction and sensitivity analysis based on software architecture, in: 13th IEEE International Symposium on Software Reliability Engineering, 2002, pp. 64-75.
6 L.K. Singh, G. Vinod, A.K. Tripathi, Design verification of instrumentation and control systems of NPP, IEEE Trans. Nucl. Sci. 61 (2014) 921-930.   DOI
7 L.K. Singh, G. Vinod, A.K. Tripathi, Modeling and prediction of performability of safety critical computer based systems using Petri nets, in: 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops, Dallas, TX, 2012, pp. 85-94.
8 K. Goseva- Popstojanova, K.S. Trivedi, Failure correlation in software reliability models, IEEE Trans. Reliab. 49 (1) (2000) 37-48.   DOI
9 R.A. Sahner, K.S. Trivedi, A. Puliafito, Performance and Reliability Analysis of Computer Systems: an Example-Based Approach Using the SHARPE Software Package, Springer Science & Business Media, 2012.
10 Z. Liu, Y. Liu, B. Cai, X. Li, X. Tian, Application of Petri nets to performance evaluation of subsea blowout preventer system, ISA Trans. 54 (2015) 240-249.   DOI
11 V.S. Sharma, K.S. Trivedi, Quantifying software performance, reliability and security: an architecture-based approach, J. Syst. Softw. 80 (2007) 493-509.   DOI
12 C. Lijie, T. Tao, Z. Xianqiong, E. Schnieder, Verification of the safety communication protocol in train control system using colored Petri net, Reliab. Eng. Syst. Saf. 100 (2012) 8-18.   DOI
13 M. Modarres, M.P. Kaminskiy, V. Krivtsov, Reliability Engineering and Risk Analysis: a Practical Guide, CRC press, 2016.
14 Nuclear Power Plant Simulators for Use in Operator Training, U.S. Nuclear Regulatory Commission, 1981.
15 Modern Instrumentation and Control for Nuclear Power Plants: a Guidebook, International Atomic Energy Agency, 1999.
16 W.L. Wang, D. Pan, M.H. Chen, Architecture-based software reliability modeling, J. Syst. Softw. 79 (2006) 132-146.   DOI
17 L. Cheung, R. Roshandel, N. Medvidovic, L. Golubchik, Early prediction of software component reliability, in: IEEE 30th International Conference on Software Engineering, 2008, pp. 111-120.
18 J. Merseguer, J. Campos, S. Bernardi, S. Donatelli, A compositional semantics for UML state machines aimed at performance evaluation, in: 6th IEEE International Workshop on Discrete Event Systems, 2002, pp. 295-302.
19 T. Murata, Petri nets: properties analysis and applications, Proc. IEEE 77 (1989) 541-580.   DOI
20 P. Kumar, L.K. Singh, C. Kumar, An optimized technique for reliability analysis of safety-critical systems: a case study of nuclear power plant, Qual. Reliab. Eng. Int. 35 (2019) 461-469.   DOI
21 L. Bernardinello, G. De Michelis, K. Petruni, S. Bigna, On the synchronic structure of transition systems, in: Structures in Concurrency Theory, Springer, London, 1995, pp. 69-84.
22 C.V. Ramamoorthy, G.S. Ho, Performance evaluation of asynchronous concurrent systems using Petri nets, IEEE Trans. Softw. Eng. 5 (1980) 440-449.   DOI
23 L.K. Singh, H. Rajput, Dependability analysis of safety critical real-time systems by using Petri nets, IEEE Trans. Control Syst. Technol. 26 (2017) 415-426.   DOI
24 T.L. Chu, G. Martinez-Guridi, M. Yue, P. Samanta, G. Vinod, J. Lehner, Workshop on Philosophical Basis for Incorporating Software Failures into a Probabilistic Risk Assessment, Technical Report, BNL-90571-2009-IR, Brookhaven National Laboratory, 2009.