Skip to main content
SpringerLink
Log in

Modelling and Safety Assessment of Programmable Platform Based Information and Control Systems Considering Hidden Physical and Design Faults

  • Conference paper
  • First Online:
Engineering in Dependability of Computer Systems and Networks (DepCoS-RELCOMEX 2019)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 987))

Included in the following conference series:

Abstract

The information and control system (I&CS) of Nuclear Power Plant (NPP) is considered as a set of three independent hardware channels including on-line testing system. NPP I&C system’s design on programmable platforms is rigidly tied to the V-model of the life cycle. Functional safety and availability during its life cycle are assessed using Markov models. Markov models are used to assess availability function and proof test period. The basic single-fragment model MICS01 contains an absorbing state in case of hidden faults and allows to evaluate risks of “hidden” unavailability. The MICS02 model simulates “migration” of states with undetected failures into states with detected faults. The results of Markov modeling (models MICS01 and MICS02) are compared to evaluate proof test period taking into account requirements for SIL3 level and limiting values of hidden fault probabilities.

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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. Ghosh, R., Longo, F., Frattini, F., Russo, S., Trivedi, K.: Scalable analytics for IaaS cloud availability. IEEE Trans. Cloud Comput. 2, 57–70 (2014)

    Article  Google Scholar 

  2. Trivedi, K., Kim, D., Roy, A., Medhi, D.: Dependability and security models. In: 7th International Workshop on Design of Reliable Communication Networks, pp. 11–20 (2009)

    Google Scholar 

  3. Kharchenko, V., Ponochovnyi, 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.) Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2014. Communications in Computer and Information Science, vol. 469, pp. 300–324 (2014)

    Google Scholar 

  4. Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Brezhnev, E., Andrashov, A.: Monte-Carlo simulation and availability assessment of the smart building automation systems considering component failures and attacks on vulnerabilities. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Contemporary Complex Systems and Their Dependability, DepCoS-RELCOMEX 2018. Advances in Intelligent Systems and Computing, vol. 761, pp. 270–280 (2018)

    Google Scholar 

  5. Bulba, Y., Ponochovny, Y., Sklyar, V., Ivasiuk, A.: Classification and research of the reactor protection instrumentation and control system functional safety Markov models in a normal operation mode. CEUR Workshop Proc. 1614, 308–321 (2016)

    Google Scholar 

  6. Ponochovniy, Y., Bulba, E., Yanko, A., Hozbenko, E.: Influence of diagnostics errors on safety: Indicators and requirements. In: 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), pp. 54–58 (2018)

    Google Scholar 

  7. IEC 61508-6:2010: Functional safety of electrical/electronic/programmable electronic safety related systems, Part 6: Guidelines on the application of IEC 61508-2,3 (2010)

    Google Scholar 

  8. D7.24-FSC(P3)-FMEDA-V6R0. Exida FMEDA Report of Project: Radiy FPGA-based Safety Controller (FSC) (2018)

    Google Scholar 

  9. Langeron, Y., Barros, A., Grall, A., Berenguer, C.: Combination of safety integrity levels (SILs): a study of IEC61508 merging rules. J. Loss Prev. Process Ind. 21(4), 437–449 (2008)

    Article  Google Scholar 

  10. The function for drawing graphs and digraphs using MATLAB. http://iglin.exponenta.ru/All/GrMatlab/grPlot.html. Accessed 24 Feb 2019

  11. IEC 61513:2011, Nuclear power plants - Instrumentation and control important to safety - General requirements for systems (2011)

    Google Scholar 

  12. Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Gorbenko, A.: Secure hybrid clouds: analysis of configurations energy efficiency. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Theory and Engineering of Complex Systems and Dependability, DepCoS-RELCOMEX 2015. Advances in Intelligent Systems and Computing, vol. 365, pp. 195–209 (2015)

    Google Scholar 

  13. Solve stiff differential equations and DAEs; variable order method - MATLAB ode15s. https://www.mathworks.com/help/matlab/ref/ode15s.htmll. Accessed 24 Feb 2019

  14. Sklyar, V.V.: Elements of the information and control systems functional safety analysis methodology. Radioelectron. Comput. Syst. 6(40), 75–79 (2009)

    Google Scholar 

  15. Kharchenko, V., Ponochovnyi, Y., Abdulmunem, A., Andrashov, A.: Availability models and maintenance strategies for smart building automation systems considering attacks on component vulnerabilities. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Advances in Dependability Engineering of Complex Systems, DepCoS-RELCOMEX 2017. Advances in Intelligent Systems and Computing, vol. 582, pp. 186–195 (2017)

    Google Scholar 

  16. Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Brezhnev, E.: Resilience assurance for software-based space systems with online patching: two cases. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds.) Dependability Engineering and Complex Systems, DepCoS-RELCOMEX 2016. Advances in Intelligent Systems and Computing, vol. 470, pp. 267–278 (2016)

    Google Scholar 

  17. Kharchenko, V., Butenko, V., Odarushchenko, O., Sklyar, V.: Multifragmentation markov modeling of a reactor trip system. ASME J. Nucl. Eng. Radiat. Sci. 1(3), 031005-1–031005-10 (2015)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Aerospace University KhAI, Kharkiv, Ukraine

    Vyacheslav Kharchenko, Eugene Brezhniev & Eugene Bulba

  2. Research and Production Company Radiy, Kropyvnytskyi, Ukraine

    Vyacheslav Kharchenko, Anton Andrashov, Eugene Brezhniev & Eugene Bulba

  3. Poltava State Agrarian Academy, Poltava, Ukraine

    Yuriy Ponochovnyi

Authors
  1. Vyacheslav Kharchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuriy Ponochovnyi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Anton Andrashov
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Eugene Brezhniev
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Eugene Bulba
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vyacheslav Kharchenko .

Editor information

Editors and Affiliations

  1. Wrocław University of Science and Technology, Wroclaw, Poland

    Wojciech Zamojski

  2. Wrocław University of Science and Technology, Wroclaw, Poland

    Jacek Mazurkiewicz

  3. Wrocław University of Science and Technology, Wroclaw, Poland

    Jarosław Sugier

  4. Wrocław University of Science and Technology, Wroclaw, Poland

    Tomasz Walkowiak

  5. Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland

    Janusz Kacprzyk

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kharchenko, V., Ponochovnyi, Y., Andrashov, A., Brezhniev, E., Bulba, E. (2020). Modelling and Safety Assessment of Programmable Platform Based Information and Control Systems Considering Hidden Physical and Design Faults. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Engineering in Dependability of Computer Systems and Networks. DepCoS-RELCOMEX 2019. Advances in Intelligent Systems and Computing, vol 987. Springer, Cham. https://doi.org/10.1007/978-3-030-19501-4_26

Download citation

Publish with us

Policies and ethics

Search

Navigation