Друковані видання
Permanent URI for this collection
Browse
Browsing Друковані видання by Author "Boyarchuk, A."
Now showing 1 - 3 of 3
Results Per Page
Sort Options
Item Multi-Fragmental Markov Models of Information and Control Systems Safety Considering Elimination of Hardware-Software Faults(2019) Kharchenko, V.; Ponochovnyi, Y. L.; Boyarchuk, A.; Andrashov, A.; Поночовний, Юрій ЛеонідовичItem Multi-fragmental Markov’s Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures(2019) Kharchenko, V.; Ponochovnyi, Y. L.; Boyarchuk, A.; Andrashov, A.; Rudenko, I.; Поночовний, Юрій Леонідович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.Item The Availability Models of Two-Zone Physical Security System Considering Cyber Attacks(2020) Kharchenko, V.; Ponochovnyi, Y. L.; Waleed AK. A.; Boyarchuk, A.; Brezhniev, Y.; Поночовний, Юрій ЛеонідовичRelevance of the paper is confirmed by the need to protect the security systems themselves, not only from physical damage, but also from ceyber attacks hy intruders. The paper explores the Markov model of the two-zone cyber-physical security system. Evaluation of the functioning of the multi zone system was carried out taking into account two degrees of degradation (operative condition - the failure state ofall zones). The state space of the model (or one fragment) has a dimension of 9 states. In the proposed model, hardware failures caused by vandal attacks on objects of the first zone and software failures due to cyber attacks on the functions ofthe second zone are considered. The simulation results illustrate different transition intervals of availability indicators of various levels of degradation to a stationary state. For different degrees of degradation, the minimum value of the availabilty function, the time interval ofthe transition of the availability function to the stationary mode, and the Value of the availability function in the stationary mode are determined. When eliminating software defects and vulnerabilities, the increase in the availability function is 0.234 for a zero level of system degradation.