Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools Read chapter Read first chapter

2020 | OriginalPaper | Chapter

Multi-fragmental Markov’s Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures

Authors : Vyacheslav Kharchenko, Yuriy Ponochovnyi, Artem Boyarchuk, Anton Andrashov, Ihor Rudenko

Published in: Information and Communication Technologies in Education, Research, and Industrial Applications

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The information and control systems of Nuclear Power Plant and other safety critical systems are considered as a set of three independent hardware channels including online testing system. Nuclear Power Plant information and control systems design on programmable platforms is rigidly tied to the V-model of the life cycle. Safety and availability during its life cycle are assessed using Markov and multi-fragmental models. The multi-fragmental model MICS32 contains an absorbing state in case of hidden faults and allows evaluating risks of “hidden” unavailability. The MICS42 model simulates the “migration” of states with undetected failures into states with detected faults. These models describe the functioning of the system and the complete elimination of software faults. Results of multi-fragmental modeling are compared to evaluate proof test period taking into account requirements for SIL3 level and limiting values of hidden fault probabilities. Multi-fragment models are included in the assessing method of implementation safety requirements of ICS on programmable platforms. The information technology of decision support in assessing and managing the implementation of the requirements for ICS safety is also considered.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method
next chapter About One Approach to Modelling Dynamics of Network Community Opinion
Literature
1.
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. In: CEUR Workshop Proceedings, vol. 1614, pp. 308–321 (2016)
2.
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)
3.
Langeron, Y., Barros, A., Grall, A., Berenguer, C.: Combination of safety integrity levels (SILs): a study of IEC61508 merging rules. Ournal Loss Prev. Process. Ind. 21(4), 437–449 (2008)CrossRef
4.
Zhu, M., Pham, H.: A software reliability model with time-dependent fault detection and fault removal. Vietnam J. Comput. Sci. 3(2), 71–79 (2016)CrossRef
5.
Pham, H.: Loglog fault-detection rate and testing coverage software reliability models subject to random environments. Vietnam J. Comput. Sci. 1(1), 39–45 (2014)CrossRef
6.
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–031005-10 (2015)
7.
Butenko, V.: Modeling of a reactor trip system using Markov chains: case study. In: Proceedings of the 2014 22nd International Conference on Nuclear Engineering. Volume 5: Innovative Nuclear Power Plant Design and New Technology Application; Student Paper Competition (2014)
8.
Vizarreta, P., Trivedi, K., Helvik, B., Heegaard, P., Kellerer, W., Machuca, C.: An empirical study of software reliability in SDN controllers. In: 2017 13th International Conference on Network and Service Management (CNSM) (2017)
9.
Trivedi, K., Bobbio, A.: DSN 2016 tutorial: reliability and availability modeling in practice. In: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W) (2016)
10.
Matos, R., Dantas, J., Araujo, J., Trivedi, K., Maciel, P.: Redundant eucalyptus private clouds: availability modeling and sensitivity analysis. J. Grid Comput. 15, 1–22 (2016)CrossRef
11.
Chang, X., Lv, S., Rodriguez, R., Trivedi, K.: Survivability model for security and dependability analysis of a vulnerable critical system. In: 2018 27th International Conference on Computer Communication and Networks (ICCCN) (2018)
12.
Ataie, E., Entezari-Maleki, R., Rashidi, L., Trivedi, K., Ardagna, D., Movaghar, A.: Hierarchical stochastic models for performance, availability, and power consumption analysis of IaaS clouds. IEEE Trans. Cloud Comput. (2017)
13.
Taylor-Rodríguez, D., Womack, A., Fuentes, C., Bliznyuk, N.: Intrinsic Bayesian analysis for occupancy models. Bayesian Anal. 12, 855–877 (2017)MathSciNetCrossRef
14.
Sukhwani, H., Alonso, J., Trivedi, K., Mcginnis, I.: Software reliability analysis of NASA space flight software: a practical experience. In: 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) (2016)
15.
D7.24-FSC(P3)-FMEDA-V6R0. Exida FMEDA Report of Project: Radiy FPGA-based Safety Controller (FSC) (2018)
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. AISC, vol. 470, pp. 267–278. Springer, Cham (2016). https://​doi.​org/​10.​1007/​978-3-319-39639-2_​23CrossRef
17.
18.
Kharchenko, V., Ponochovnyi, Y., Andrashov, A., Brezhniev, E., Bulba, E.: 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.) DepCoS-RELCOMEX 2019. AISC, vol. 987, pp. 264–273. Springer, Cham (2020). https://​doi.​org/​10.​1007/​978-3-030-19501-4_​26CrossRef
19.
Kharchenko, V., Ponochovnyi, Y., Boyarchuk, A., Andrashov, A.: Multi-Fragmental Markov models of information and control systems safety considering elimination of hardware-software faults. In: CEUR Workshop Proceedings, vol. 2393, pp. 738–748 (2019)
Metadata
Title
Multi-fragmental Markov’s Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures
Authors
Vyacheslav Kharchenko
Yuriy Ponochovnyi
Artem Boyarchuk
Anton Andrashov
Ihor Rudenko
Copyright Year
2020
Book
Information and Communication Technologies in Education, Research, and Industrial Applications

Print ISBN: 978-3-030-39458-5

Electronic ISBN: 978-3-030-39459-2

Copyright Year: 2020

DOI
https://doi.org/10.1007/978-3-030-39459-2_14

Premium Partner

    Image Credits