Multi-fragmental Markov’s Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures
Loading...
Date
2019
Authors
Kharchenko, V.
Ponochovnyi, Y. L.
Boyarchuk, A.
Andrashov, A.
Rudenko, I.
Поночовний, Юрій Леонідович
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
The information and control systems of Nuclear Power Plant and other safety critical systems are considered as a set of three independent hard-ware channels including online testing system. Nuclear Power Plant information and control systems design on programmable platforms Vemodel of the life cycle. Safety and availa assessed using Markov and multfragmental models. The mult-fragmental model MICS32 contains an absorbing state in case of hidden faults and allows
luating risks of “hidden” unavailability. The MICS42 model “migration” of states with undetected failures into states with detected faults. These models describe the functioning of the system and the complete elimi-nation 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 pro-grammable platforms. The information technology of decision support in assessing and managing the implementation of the requirements for ICS safety is also considered.
Description
Kharchenko V., Ponochovnyi Y., Boyarchuk A., Andrashov A., Rudenko I. (2020) Assessment of NPP I&C systems safety considering detected, latent and recovered failures: Multi-fragmental Markov’s models and tools. In: Ermolayev V., Mallet F., Yakovyna V., Mayr H., Spivakovsky A. (eds) Information and Communication Technologies in Education, Research, and Industrial Applications. ICTERI 2019. Communications in Computer and Information Science, vol 1175. Springer, Cham, pp. 302-326. https://doi.org/10.1007/978-3-030-39459-2_14
Keywords
Multi-fragmental models, safety modeling, information technologies, assessment method of requirements fulfillment