Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지
DOI QR코드

DOI QR Code

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))
  • Received : 2019.02.12
  • Accepted : 2019.08.20
  • Published : 2020.03.25
Download PDF
⟨ Previous Next ⟩

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

References

  1. M. Modarres, M.P. Kaminskiy, V. Krivtsov, Reliability Engineering and Risk Analysis: a Practical Guide, CRC press, 2016.
  2. Nuclear Power Plant Simulators for Use in Operator Training, U.S. Nuclear Regulatory Commission, 1981.
  3. Modern Instrumentation and Control for Nuclear Power Plants: a Guidebook, International Atomic Energy Agency, 1999.
  4. W.C. Lipinski, Nuclear Power Plant Instrumentation and ControldA Guidebook, International Atomic Energy Agency, Vienna, Austria, 1984.
  5. N.G. Leveson, J.L. Stolzy, Safety analysis using Petri nets, IEEE Trans. Softw. Eng. 3 (1987) 386-397.
  6. 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. https://doi.org/10.1002/qre.2315
  7. Heiko Koziolek, Performance evaluation of component-based software systems: a survey, Perform. Eval 67 (8) (2010) 634-658. https://doi.org/10.1016/j.peva.2009.07.007
  8. 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.
  9. 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. https://doi.org/10.1109/TNS.2014.2305656
  10. 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.
  11. K. Goseva- Popstojanova, K.S. Trivedi, Failure correlation in software reliability models, IEEE Trans. Reliab. 49 (1) (2000) 37-48. https://doi.org/10.1109/24.855535
  12. 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.
  13. 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. https://doi.org/10.1016/j.isatra.2014.07.003
  14. 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. https://doi.org/10.1109/tcst.2017.2669147
  15. W.L. Wang, D. Pan, M.H. Chen, Architecture-based software reliability modeling, J. Syst. Softw. 79 (2006) 132-146. https://doi.org/10.1016/j.jss.2005.09.004
  16. 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.
  17. 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.
  18. V.S. Sharma, K.S. Trivedi, Quantifying software performance, reliability and security: an architecture-based approach, J. Syst. Softw. 80 (2007) 493-509. https://doi.org/10.1016/j.jss.2006.07.021
  19. 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. https://doi.org/10.1002/qre.2340
  20. T. Murata, Petri nets: properties analysis and applications, Proc. IEEE 77 (1989) 541-580. https://doi.org/10.1109/5.24143
  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. https://doi.org/10.1109/TSE.1980.230492
  23. 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.
  24. 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. https://doi.org/10.1016/j.ress.2011.12.010

Cited by

  1. Application of the Methods for Comprehensive Reliability Analysis of District Heating Systems vol.24, pp.3, 2020, https://doi.org/10.2478/rtuect-2020-0093
  2. A state-of-the-art review on performance measurement petri net models for safety critical systems of NPP vol.165, 2020, https://doi.org/10.1016/j.anucene.2021.108635
  3. Risk modelling of ageing nuclear reactor systems vol.166, 2020, https://doi.org/10.1016/j.anucene.2021.108701