Nuclear Engineering and Technology

  • 제51권5호
  • /
  • Pages.1289-1296
  • /
  • 2019
  • /
  • 1738-5733(pISSN)
  • /
  • 2234-358X(eISSN)
한국원자력학회 (Korean Nuclear Society)
권호 표지
DOI QR코드

DOI QR Code

Design of safety critical and control systems of Nuclear Power Plants using Petri nets

  • 투고 : 2018.12.14
  • 심사 : 2019.02.22
  • 발행 : 2019.06.25
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

Non-functional requirements plays a critical role in designing variety of applications domain ranges from safety-critical systems to simple gaming applications. Performance is one of the crucial non-functional requirement, especially in control and safety systems, that validates the design. System risk can be quantified as a product of probability of system failure and severity of its impact. In this paper, we devise a technique to do the performance analysis of safety critical and control systems and to estimate performance based risk factor. The technique elaborates Petri nets to estimate performability to ensure system dependability requirements. We illustrate the technique on a case study of Nuclear Power Plant system. The technique has been validated on 17 safety critical and control systems of Nuclear Power Plant.

키워드

참고문헌

  1. Lalit Kumar Singh, Gopika Vinod, A.K. Tripathi, Design verification of instrumentation and control systems of NPP, IEEE Trans. Nucl. Sci. 61 (April 2014) 921-930. https://doi.org/10.1109/TNS.2014.2305656
  2. 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.
  3. Lalit Kumar Singh, Hitesh Rajput, Dependability analysis of safety critical real-time systems by using Petri nets, IEEE Trans. Control Syst. Technol. (March 2017) 1-12.
  4. L. Singh, H. Rajput, G. Vinod, A.K. Tripathi, Computing transition probability in Markov chain for early prediction of software reliability, Qual. Reliab. Eng. Int. (2015), https://doi.org/10.1002/qre.1793.
  5. Lalit Singh, Hitesh Rajput, Ensuring safety in design of safety critical computer based systems, in: Annals of Nuclear Energy, vol. 92, Elsevier, June 2016, pp. 289-294. https://doi.org/10.1016/j.anucene.2016.02.002
  6. V. Kumar, L.K. Singh, P. Singh, K.V. Singh, A.K. Maurya, A.K. Tripathi, Parameter estimation for quantitative dependability analysis of safety-critical and control systems of NPP, IEEE Trans. Nucl. Sci. 65 (5) (May 2018) 1080-1090. https://doi.org/10.1109/TNS.2018.2827106
  7. Vinay Kumar, Lalit Singh, A.K. Tripathi, Transformation of deterministic models into state space models for safety analysis of safety critical systems: a case study of NPP, in: Annals of Nuclear Energy, vol. 105, Elsevier, July 2017, pp. 133-143. https://doi.org/10.1016/j.anucene.2017.02.026
  8. Raj Kamal, Lalit Singh, Babita Pandey, Security analysis of safety critical and control systems: a case study of nuclear power plant system, Nucl. Technol. 197 (3) (2017) 296-307, https://doi.org/10.1080/00295450.2016.1273702.
  9. 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. (2018) 1-9. https://doi.org/10.1002/qre.2340.
  10. T. Murata, Petri nets: properties analysis and applications, Proc. IEEE 77 (1989) 541-580. https://doi.org/10.1109/5.24143
  11. C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Petri Nets, M.I.T., Cambridge, MA, 1974. Project MAC, TR-120.
  12. CANDU 6 Program Team, CANDU 6 Tech. Summary, May 2005.
  13. Lalit Singh, Gopika Vinod, A.K. Tripathi, An approach for Parameter estimation in Markov model of software reliability for early prediction: a case study, IET Softw. 9 (3) (June 2015) 65-75. https://doi.org/10.1049/iet-sen.2014.0108