Kharchenko, V.Ponochovnyi, Y. L.Ruchkov, E.Babeshko, E.Поночовний, Юрій Леонідович2023-11-232023-11-232022-06https://doi.org/10.1007/978-3-031-06746-4_9https://dspace.pdau.edu.ua/handle/123456789/15439Kharchenko, V., Ponochovnyi, Y., Ruchkov, E., Babeshko, E. (2022). Safety Assessment of the Two-Cascade Redundant Information and Control Systems Considering Faults of Versions and Supervision Means. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) New Advances in Dependability of Networks and Systems. DepCoS-RELCOMEX 2022. Lecture Notes in Networks and Systems, vol 484. Springer, Cham.This paper studies functional safety and availability models of information and control system (ICS) with two-cascade 2003/1002 redundancy. First cascade has a two-version structure which is conventional for reactor trip systems. The structure being studied includes supervision means for each subsystem of the first redundancy cascade, as well as means for their outputs comparison. A peculiarity of developed models is that they consider failures of supervision means along with failures caused by different (single and multiple) faults of software and hardware versions of main and diverse subsystems. Markov models describe behavior of repairable system considering failures caused by physical faults of channels and version design fault supervision, detection and elimination means. During analysis of models the peculiarities of FPGA-based RadICs platform used for ICSs of nuclear power plants (NPPs) and other safety critical systems development were considered.enInformation and control systemsafety assessment functionMarkov modelTwo-cascade redundant structureArticle