Nuclear Engineering and Technology

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

DOI QR Code

Performance measurement of safety-critical systems based on ordinary differential equations and Petri nets: A case study of nuclear power plant

  • Nand Kumar Jyotish (The Department of Computer Science & Engineering, Indian Institute of Technology (ISM)) ;
  • Lalit Kumar Singh (The Department of Computer Science & Engineering, Indian Institute of Technology (BHU)) ;
  • Chiranjeev Kumar (The Department of Computer Science & Engineering, Indian Institute of Technology (ISM))
  • Received : 2022.02.28
  • Accepted : 2022.11.21
  • Published : 2023.03.25
Download PDF
⟨ Previous Next ⟩

Abstract

This article proposes a novel approach to measure the performance of Safety-Critical Systems (SCS). Such systems contain multiple processing nodes that communicate with each other is modeled by a Petri nets (PN). The paper uses the PN for the performance evaluation of SCS. A set of ordinary differential equations (ODEs) is derived from the Petri net model that represent the state of the system, and the solutions can be used to measure the system's performance. The proposed method can avoid the state space explosion problem and also introduces new metrics of performance, along with their measurement: deadlock, liveness, stability, boundedness, and steady state. The proposed technique is applied to Shutdown System (SDS) of Nuclear Power Plant (NPP). We obtained 99.887% accuracy of performance measurement, which proves the effectiveness of our approach.

Keywords

References

  1. Tadao Murata, Petri nets: properties, analysis and applications, Proc. IEEE 77 (1989) 541-580, 4. https://doi.org/10.1109/5.24143
  2. Jana Siebert, Dario Petri, Michele Fedrizzi, From measurement to decision: sensitivity of decision outcome to input and model uncertainties, IEEE Trans. Instrum. Meas. 68 (2018) 3100-3108, 9.
  3. Gaowei Xu, et al., Online fault diagnosis method based on transfer convolutional neural networks, IEEE Trans. Instrum. Meas. 69 (2019) 509-520, 2. https://doi.org/10.1109/TIM.2019.2902003
  4. Lalit Kumar Singh, Gopika Vinod, A.K. Tripathi, Design verification of instrumentation and control systems of nuclear power plants, IEEE Trans. Nucl. Sci. 61 (2014) 921-930, 2. https://doi.org/10.1109/TNS.2014.2305656
  5. Zhuo Su, et al., MDD: A Unified Model-Driven Design Framework for Embedded Control Software, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41 (10) (2021) 3252-3265, https://doi.org/10.1109/TCAD.2021.3132564. In this issue.
  6. Lalit Kumar Singh, Hitesh Rajput, Dependability analysis of safety critical realtime systems by using Petri nets, IEEE Trans. Control Syst. Technol. 26 (2017) 415-426, 2. https://doi.org/10.1109/TCST.2017.2669147
  7. Nand Kumar Jyotish, Lalit Kumar Singh, Chiranjeev Kumar, A state-of-the-art review on performance measurement petri net models for safety critical systems of NPP, Ann. Nucl. Energy 165 (2022), 108635.
  8. Pooja Singh, Lalit Kumar Singh, Reliability and safety engineering for safety critical systems: an interview study with industry practitioners, IEEE Trans. Reliab. 70 (2021) 643-653, 2. https://doi.org/10.1109/TR.2021.3051635
  9. Kaiyuan Guo, et al., Angel-eye: a complete design flow for mapping CNN onto embedded FPGA, IEEE Trans. Comput. Aided Des. Integrated Circ. Syst. 37 (2017) 35-47, 1.
  10. Pooja Singh, Lalit Kumar Singh, Modeling and measuring common cause failures in measurement of reliability of nuclear power plant systems, IEEE Trans. Instrum. Meas. 70 (2021) 1-8.
  11. Ricardo J. Rodriguez, A Petri net tool for software performance estimation based on upper throughput bounds, Autom. Software Eng. 24 (2017) 73-99, 1. https://doi.org/10.1007/s10515-015-0186-2
  12. Pramod Kumar, Lalit Kumar Singh, Chiranjeev Kumar, Performance evaluation of safety-critical systems of nuclear power plant systems, Nucl. Eng. Technol. 52 (2020) 560-567, 3. https://doi.org/10.1016/j.net.2019.08.018
  13. Lingzhi Xia, et al., Performance evaluation of a new signal processing system design to improve CANDU SDS1 trip response during large break LOCA events, J. Nucl. Sci. Technol. 53 (2016) 1513-1520, 10. https://doi.org/10.1080/00223131.2015.1128856
  14. Bo Wook Rhee, et al., A three-dimensional CFD model for a performance verification of the liquid poison injection system of a CANDU-6 reactor, Nucl. Technol. 159 (2007) 158-166, 2. https://doi.org/10.13182/NT07-A3862
  15. Drew J. Rankin, Jiang Jin, Predictive trip detection for nuclear power plants, IEEE Trans. Nucl. Sci. 63 (2016) 2352-2362, 4. https://doi.org/10.1109/TNS.2016.2582467
  16. Zhuyun Chen, Weihua Li, Multisensor feature fusion for bearing fault diagnosis using sparse autoencoder and deep belief network, IEEE Trans. Instrum. Meas. 66 (2017) 1693-1702, 7. https://doi.org/10.1109/TIM.2017.2669947
  17. Nancy G. Leveson, Janice L. Stolzy, Safety analysis using Petri nets, IEEE Trans. Software Eng. 3 (1987) 386-397. https://doi.org/10.1109/TSE.1987.233170
  18. MuDer Jeng, Xiaolan Xie, MaoYu Peng, Process nets with resources for manufacturing modeling and their analysis, IEEE Trans. Robot. Autom. 18 (2002) 875-889, 6. https://doi.org/10.1109/TRA.2002.805655
  19. Zuohua Ding, Yuan Zhou, MengChu Zhou, A polynomial algorithm to performance analysis of concurrent systems via Petri nets and ordinary differential equations, IEEE Trans. Autom. Sci. Eng. 12 (2013) 295-308, 1. https://doi.org/10.1109/TASE.2013.2285574