Odarushchenko, O. B.Одарущенко, Олена Борисівна2026-08-032026-08-032014Assessment of the Reactor Trip System Dependability Two Markov Chains - based Cases / V. Kharchenko et al. Proceeding of the 10th International Conference on Digital Technologies, Slovak Republic. Zilina. July, 2014. P. 103-109. DOI: 10.1109/DT.2014.6868699URL: https://www.scopus.com/authid/detail.uri?authorId=56560220900https://dspace.pdau.edu.ua/handle/123456789/22161The diversity approach is commonly used to ensure dependability attributes of such critical computer-based systems as nuclear power plants information and control (NPPs I&C) systems, including the Reactor Trip System. There are two basic problems emerging in this approach - the choice of product-process diversity kinds and assessment of multi-version systems dependability. This paper presents a study for dependability assessment of two architectures of a typical NPP I&C system, the Reactor Trip System: a diverse two-channel system with three parallel tracks on voting logic "2-out-of-3" in each channel and a diverse three-channel system with two parallel tracks on voting logic "1-out-of-2" in each channel. The multi-fragmentation approach is proposed to provide a detailed description of RTS hardware-software interconnection. The resulting models are stiff, which poses a problem in case of achieving the accurate numerical solution. Thus, the models are solved using a number of approaches and tools to verify the results. Obtained results can help to make informed decision between the observed RTS architectures.enMarkov chainsMultifargmentationReactor Trip SystemsStiffnessStiffness avoidance approachStiffness tolerance approachArticle