Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: 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 kBAdobe PDFПереглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.