Skip to main content
SpringerLink
Log in

Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution

  • Conference paper
  • First Online:
Information and Communication Technologies in Education, Research, and Industrial Applications (ICTERI 2017)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 826))

Abstract

This paper is the continuation of the research devoted to enhancing the adequacy of reliability model of Nuclear Power Plant (NPP) Instrumentation and Control (I&C) System considering software reliability. The reliability model of NPP I&C system is a basement from which the availability, safety, risk, and other important characteristics of the system could be assessed. The availability function of a critical NPP I&C system depends on the hardware and software reliability and maintenance. The high availability value of the critical I&C systems could be ensured by following: structural redundancy; maintenance of the system; using the N-version programming; software updates. Thus, the NPP I&C system reliability model to ensure its high level of adequacy and applicability has to take into account software and a hardware failure, as well as the non-exponential distribution of software updates that are implemented by K-phase Erlang Distribution.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Mudry, P.A., Vannel, F., Tempesti, G., Mange, D.: A reconfigurable hardware platform for prototyping cellular architectures. In: IEEE International Parallel and Distributed Processing Symposium, pp. 96–103 (2007)

    Google Scholar 

  2. Viktorov, O.: Reconfigurable multiprocessor system reliability estimation. Asian J. Inf. Technol. 6(9), 958–960 (2007)

    Google Scholar 

  3. Rajesh, S., Vinoth Kumar, C., Srivatsan, R., Harini, S., Shanthi, A.: Fault tolerance in multicore processors with reconfigurable hardware unit. In: 15th International Conference on High-Performance Computing, Bangalore, India, pp. 166–171 (2008)

    Google Scholar 

  4. Amerijckx, C., Legat, J.-D.: A low-power multiprocessor architecture for embedded reconfigurable systems. In: International Workshop on Power and Timing Modeling, Optimization and Simulation, pp. 83–93 (2008)

    Google Scholar 

  5. Zhu, C., Gu, Z., Dick, R., Shang, L.: Reliable multiprocessor system-on-chip synthesis. In: International Conference Hardware/Software Co-design and System Synthesis, pp. 239–244 (2007)

    Google Scholar 

  6. Gostelow, K.P.: The design of a fault-tolerant, real-time, multi-core computer system. In: Aerospace Conference, pp. 1–8. IEEE (2011)

    Google Scholar 

  7. Lyu, M.R. (ed.): Software Fault Tolerance. Wiley, New York (1995)

    Google Scholar 

  8. Korotun, T.M.: Models and methods for testing software systems. Program. probl. 2, 76–84 (2007). (In Russian)

    Google Scholar 

  9. Volochii, B.: Technology of modeling the information systems. Publishing NU “Lviv Polytechnic” (2004). (In Ukrainian)

    Google Scholar 

  10. Xiong, L., Tan, Q., Xu, J.: Effects of soft error to system reliability. In: Workshops of International Conference on Advanced Information Networking and Applications, pp. 204–209 (2011)

    Google Scholar 

  11. Ponochonvyi, J.L., Odarushchenko, E.B.: The reliability modeling non-redundant information and control systems with software updated. Radioelectron. Comput. Syst. 4(8), 93–97 (2004). (In Russian)

    Google Scholar 

  12. Kharchenko, V., Odarushchenko, O., Odarushchenko, V., Popov, P.: Selecting mathematical software for dependability assessment of computer systems described by stiff markov chains. In: Proceeding of International Conference on ICTERI, pp. 146–162 (2013)

    Google Scholar 

  13. Kharchenko, V., Ponochovny, Y., Boyarchuk, A.: Availability assessment of information and control systems with online software update and verification. In: Ermolayev, V., Mayr, H., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2014. CCIS, vol. 469, pp. 300–324. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-13206-8_15

    Google Scholar 

  14. Cox, D.R.: Renewal Theory, p. 142. Methuen, London (1962)

    MATH  Google Scholar 

  15. Konig, D., Shtojan, D.: Methoden der Bedienungstheorie [Methods of Queueing Theory], p. 128. Vieweg, Braunschweig (1976). (In German)

    Google Scholar 

  16. Klejnrok, L.: Queueing Systems: Theory, vol. 1, p. 432. Wiley, New York (1976)

    Google Scholar 

  17. Rajnshke, K., Ushakov, I.A.: Assessment of the Reliability of the Systems via Graphs, 208 p. Radio I svjaz’ Publ., Moskva (1988). (In Russian)

    Google Scholar 

  18. Lipaev V.: Software reliability, 232 p. Syntex, Moskov (1998) (In Russian)

    Google Scholar 

  19. Pham, H.: System Software Reliability. SSRE, p. 387. Springer, London (2006). https://doi.org/10.1007/1-84628-295-0

    Book  Google Scholar 

  20. IEC 60880: Nuclear power plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions, 217 p. (2006)

    Google Scholar 

  21. Polovko, A.: Fundamentals of Reliability Theory, p. 704. BHV-Peterburg, Saint Petersburg (2006). (In Russian)

    Google Scholar 

  22. DSTU 2844-94. Computer Software. Quality ensuring. Terms and definitions. Federal standard, 19 p. (1996). (In Ukrainian)

    Google Scholar 

  23. Grottke, M., Trivedi, K.S.: A classification of software faults. In: Supplemental Proceedings of Sixteenth International IEEE Symposium on Software Reliability Engineering, pp. 4.19–4.20 (2005)

    Google Scholar 

  24. Grottke, M., Nikora, A.P., Trivedi, K.S.: An empirical investigation of fault types in space mission system software. In: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 447–456 (2010)

    Google Scholar 

  25. Littlewood, B., Popov, P., Strigini, L.: Design diversity: an update from research on reliability modelling. In: Redmill, F., Anderson, T. (eds.) Aspects of Safety Management: Proceedings of the Ninth Safety-critical Systems Symposium, Bristol, UK 2001, pp. 139–154. Springer, London (2001). https://doi.org/10.1007/978-1-4471-0713-2_11

    Chapter  Google Scholar 

  26. Ammann, P.E., Knight, J.C.: Data diversity: an approach to software fault tolerance. IEEE Trans. Comput. C37(4), 418–425 (1988)

    Article  Google Scholar 

  27. Popov, P., Strigini, L., et al.: Estimating bounds on the reliability of diverse systems. IEEE Trans. Softw. Eng. 29(4), 345–359 (2003)

    Article  Google Scholar 

  28. Yakovyna, V., Nytrebych, O.: Discrete and continuous time high-order markov models for software reliability assessment. In: Proceedings of the 11th International Conference ICTERI 2015, Lviv, Ukraine, 14–16 May 2015. CEUR-WS.org, CEUR-WS.org/Vol-1356/paper_62.pdf

  29. Gray, J.: Why do computers stop and what can be done about it? In: Proceedings of Fifth Symposium on Reliability in Distributed Systems, pp. 3–12 (1986)

    Google Scholar 

  30. Avižienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)

    Article  Google Scholar 

  31. Volochiy, B., Mulyak, O., Kharchenko, V.: Automated development of markovian chains for fault-tolerant computer-based systems with version structure redundancy. In: Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, vol. 1356, pp. 462–475 (2015)

    Google Scholar 

  32. Volochiy, B., Mulyak, O., Ozirkovskyi, L., Kharchenko, V.: Automation of quantitative requirements determination to software reliability of safety critical NPP I&C systems. In: Proceedings of the Second International Symposium on Stochastic Models in Reliability Engineering, Life Science and Operations Management (SMRLO 2016), pp. 337–346 (2016)

    Google Scholar 

  33. Fedasyuk, D.V., Volochiy, S.B.: Structural-automaton model of fault-tolerant systems for automated usage of Erlang distribution. Radio Electron. Comput. Syst. 3(77), 78–92 (2016). (In Ukrainian)

    Google Scholar 

  34. Kharchenko, V., Sklyar, V., Volkoviy, A.: Development and verification of dependable multi-version systems on the basic of IP-cores. In: Proceedings of International Conference on Dependability of Computer Systems (2008)

    Google Scholar 

  35. Review Guidelines for Field-Programmable Gate Arrays in Nuclear Power Plant Safety Systems. NUREG/CR-7006, U.S. Nuclear Regulatory Commission, Washington, D.C., USA (2010)

    Google Scholar 

  36. Bobalo, J., Volochiy. B., Lozynskyi, O., Mandzii, B., Ozirkovskyi, L., Fedasuk, D., Shcherbovskyh, S., Jakovyna, V.: Mathematical models and methods for reliability analysis of electronic, electrical and software systems, Lviv Polytechnic Press, Lviv, 425 p. (2013). http://vlp.com.ua/node/10764. (In Ukrainian)

  37. Martin, J.: System Analysis for Data Transmission, p. 823. IBM System Research Institute, Prentice Hall, Inc., Englewood Cliffs (1972)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National University Lviv Polytechnic, Lviv, Ukraine

    Bogdan Volochiy, Vitaliy Yakovyna & Oleksandr Mulyak

  2. National Aerospace University “KhAI”, Kharkiv, Ukraine

    Vyacheslav Kharchenko

Authors
  1. Bogdan Volochiy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vitaliy Yakovyna
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Oleksandr Mulyak
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Vyacheslav Kharchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Oleksandr Mulyak .

Editor information

Editors and Affiliations

  1. Aristotle University of Thessaloniki, Thessaloniki, Greece

    Nick Bassiliades

  2. Zaporizhzhia National University, Zaporizhzhia, Ukraine

    Vadim Ermolayev

  3. University of Bamberg, Bamberg, Germany

    Hans-Georg Fill

  4. Lviv Polytechnic National University, Lviv, Ukraine

    Vitaliy Yakovyna

  5. University of Klagenfurt, Klagenfurt, Austria

    Heinrich C. Mayr

  6. Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

    Mykola Nikitchenko

  7. V. N. Karazin Kharkiv National University, Kharkiv, Ukraine

    Grygoriy Zholtkevych

  8. Kherson State University, Kherson, Ukraine

    Aleksander Spivakovsky

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Volochiy, B., Yakovyna, V., Mulyak, O., Kharchenko, V. (2018). Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution. In: Bassiliades, N., et al. Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2017. Communications in Computer and Information Science, vol 826. Springer, Cham. https://doi.org/10.1007/978-3-319-76168-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-76168-8_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-76167-1

  • Online ISBN: 978-3-319-76168-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation