Публікація: Assessment of the reactor trip system dependability: Two markov's chains - Based cases
Ескіз недоступний
Дата
2014
Автори
Odarushchenko, O. B.
Одарущенко, Олена Борисівна
Назва видання
ISSN
Назва тому
Видання
DT 2014 - 10th International Conference on Digital Technologies 2014 Conference Paper2014
Анотація
The 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.
Опис
Ключові слова
Markov chains, Multifargmentation, Reactor Trip Systems, Stiffness, Stiffness avoidance approach, Stiffness tolerance approach
Бібліографічний опис
Assessment 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.6868699