Kharchenko, V.Ponochovnyi, Y. L.Boyarchuk, A.Andrashov, A.Rudenko, I.Поночовний, Юрій Леонідович2023-11-212023-11-212019https://dspace.pdau.edu.ua/handle/123456789/15414Kharchenko 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_14The 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.enMulti-fragmental modelssafety modelinginformation technologiesassessment method of requirements fulfillmentArticle