ИССЛЕДОВАНИЕ МАРКОВСКИХ МОДЕЛЕЙ ИНФОРМАЦИОННО-УПРАВЛЯЮЩЕЙ СИСТЕМЫ НА ОСНОВЕ САМОДИАГНОСТИРУЕМЫХ ПРОГРАММИРУЕМЫХ ПЛАТФОРМ
В.В. СКЛЯР, Ю.Л. ПОНОЧОВНЫЙ, Е.Н. БУЛЬБА, А.О.ИВАСЮК
Научно-производственное предприятие «Радий», Кировоград, Украина
Полтавский национальный технический университет им.Ю.Кондратюка, Украина
У статті розглянуто основні етапи побудови та дослідження марковських моделей функціональної безпеки інформаційно-управляючої системи (ІУС) на основі самодіагностованої програмованої платформи (СДПП). Множину станів моделей отримано на підставі побудови і аналізу дерева відмов, що включає виявлені і невиявлені відмови апаратних каналів ІУС. На підставі запропонованого підходу отримані моделі ІУС в режимі нормальної експлуатації, що враховують різні рівні діагностування. Застосування моделей дозволило визначити межі областей третього рівня повноти безпеки (SIL3) ІУС в двовимірному просторі зміни вхідних параметрів і часу експлуатації системи.
Ключові слова: інформаційно-управляюча система, функціональна безпека, марковська модель, рівень повноти безпеки.
В статье рассмотрены основные этапы построения и исследования марковских моделей функциональной безопасности информационно-управляющей системы (ИУС) на основе самодиагностируемой программируемой платформы. Множество состояний моделей получено на основании построения и анализа дерева отказов, включающего обнаруженные и необнаруженные отказы аппаратных каналов ИУС. На основании предложенного подхода получены модели ИУС в режиме нормальной эксплуатации, учитывающие различные уровни диагностирования. Применение моделей позволило определить границы областей третьего уровня полноты безопасности (SIL3) ИУС в двумерном пространстве изменения входных параметров и времени эксплуатации системы.
Ключевые слова: информационно-управляющая система, функциональная безопасность, марковская модель, уровень полноты безопасности.
The article describes the main stages of construction and study Markov models of functional safety information-control system (ICS) based on self-checking programmable platform (SCPP). Many states of the model is obtained based on the design and analysis of fault tree that includes detected and undetected hardware failures channel ICS. Based on this approach we obtain the model ICS during normal operation, taking into account the different levels of diagnosis. Application models allowed to define the boundaries of the areas of the third of safety integrity level (SIL3) ICS in two-dimensional space of the input parameters and the operating time of the system.
Keywords: information control system, functional safety, Markov model, safety integrity level.