Публікація: Markov’s Model and Tool-Based Assessment of Safety-Critical I&C Systems: Gaps of the IEC 61508
Ескіз недоступний
Дата
2014-06
Автори
Odarushchenko, O. B.
Одарущенко, Олена Борисівна
Назва видання
ISSN
Назва тому
Видання
Probabilistic Safety Assessment and Management PSAM 12, June 2014, Honolulu, Hawaii
Анотація
The accurate dependability and safety assessment of systems for critical applications is an important task in development and certification processes. It can be conducted through probabilistic model-based evaluation using the variety of tools and techniques (T&T). As each T&T is bounded by its application area the careful selection of the appropriate one is highly important. In this paper, we present the gap-analysis of well-known modeling approach – Markov modeling, mainly for T&T selection and application procedures, and how one of the leading safety standard IEC 61508 tracks those gaps. We discuss how main assessment risks can be eliminated or minimized using metric-based approach and present the safety assessment of typical NPP I&C system, the Reactor Trip System. The results analysis determines the feasibility of introducing new regulatory requirements for selection and application of T&T, which are used for MM-based assessment of safety.
Опис
Ключові слова
Markov chains, standard, metric, stiffness, largeness, sparsity
Бібліографічний опис
Markov’s Model and Tool-Based Assessment of Safety-Critical I&C Systems: Gaps of the IEC 61508 / V. Butenko et al. Proceeding of 12-th International conference on probabilistic safety assessment and modeling. USA. Hawaii. Honolulu. 2014.