Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://reposit.nupp.edu.ua/handle/PoltNTU/2464
Назва: | Markov’s Model and Tool-Based Assessment of Safety-Critical I&C Systems: Gaps of the IEC 61508 = Модель Маркова и инструментальная оценка критически важных факторов безопасности информационно-управляющих систем : Анализ недостатков стандарта IEC 61508 |
Автори: | Одарущенко, О.Б. Бутенко, В.О. Харченко, В.С. Попов, П. Одарущенко, О.М. Скляр, В.В. |
Тематичні ключові слова: | Markov chains standard metric stiffness largeness sparsity модель Маркова фактори безпеки інформаційно-керуючі системи стандарт безпеки |
Дата публікації: | чер-2014 |
Видавництво: | 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. Точная оценка надежности и безопасности систем для критически важных приложений является важной задачей в процессах разработки и сертификации. Это может быть проведено с помощью вероятностной оценки на основе моделей с использованием различных инструментов и методов (T & T). Поскольку каждый T & T ограничен своей областью применения, очень важен тщательный выбор подходящего. В этой статье мы представляем анализ пробелов хорошо известного модельного подхода - марковское моделирование, в основном для Точная оценка надежности и безопасности систем для критически важных приложений является важной задачей в процессах разработки и сертификации. Это может быть проведено с помощью вероятностной оценки на основе моделей с использованием различных инструментов и методов (T & T). Поскольку каждый T & T ограничен своей областью применения, очень важен тщательный выбор подходящего. В этой статье мы представляем анализ пробелов хорошо известного модельного подхода - марковское моделирование, в основном для процедур отбора и применения T & T, и как один из ведущих стандартов безопасности IEC 61508 отслеживает эти пробелы. |
Бібліографічний опис: | Butenko V. Markov’s Model and Tool-Based Assessment of Safety-Critical I&C Systems: Gaps of the IEC 61508 / V. Butenko, V. Kharchenko, O. Odarushchenko, P. Popov, V. Sklyar, E. Odarushchenko // Probabilistic Safety Assessment and Management PSAM 12, June 2014. - Honolulu, Hawaii, 2014. - URL : https://www.researchgate.net/publication/264729484_Markov%27s_Model_and_Tool-Based_Assessment_of_Safety-Critical_IC_Systems_Gaps_of_the_IEC_61508 |
URI (Уніфікований ідентифікатор ресурсу): | http://reposit.pntu.edu.ua/handle/PoltNTU/2464 |
Розташовується у зібраннях: | Кафедра вищої та прикладної математики |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
PSAM'12_14032014.pdf | Основна стаття | 243.12 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.