Markov’s Model and Tool-Based Assessment of Safety-Critical I&C Systems: Gaps of the IEC 61508 = Модель Маркова и инструментальная оценка критически важных факторов безопасности информационно-управляющих систем : Анализ недостатков стандарта IEC 61508

Abstract

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.

Точная оценка надежности и безопасности систем для критически важных приложений является важной задачей в процессах разработки и сертификации. Это может быть проведено с помощью вероятностной оценки на основе моделей с использованием различных инструментов и методов (T & T). Поскольку каждый T & T ограничен своей областью применения, очень важен тщательный выбор подходящего. В этой статье мы представляем анализ пробелов хорошо известного модельного подхода - марковское моделирование, в основном для Точная оценка надежности и безопасности систем для критически важных приложений является важной задачей в процессах разработки и сертификации. Это может быть проведено с помощью вероятностной оценки на основе моделей с использованием различных инструментов и методов (T & T). Поскольку каждый T & T ограничен своей областью применения, очень важен тщательный выбор подходящего. В этой статье мы представляем анализ пробелов хорошо известного модельного подхода - марковское моделирование, в основном для процедур отбора и применения T & T, и как один из ведущих стандартов безопасности IEC 61508 отслеживает эти пробелы.