УДК
004.942+004.519.876.5
ПРОГРАМНОЕ СРЕДСТВО АВТОМАТИЗИРОВАННОГО ВЫБОРА МЕТОДА ИССЛЕДОВАНИЯ МАРКОВСКИХ МОДЕЛЕЙ
ДЛЯ ОЦЕНИВАНИЯ БЕЗОПАСНОСТИ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ
Д.А. Корякин*, студент гр. 565вМ; В.А. Бутенко, к.т.н., ассистент
Национальный аэрокосмический университет им. Н.Е. Жуковского «ХАИ»
Функциональная безопасность информационно-управляющих систем (ИУС) влияет на безопасность критических объектов в авиационной, , энергетической промышленностях. Точность ее оценивания и прогнозирования может обеспечиваться с использованием современных программных пакетов и утилит, базирующихся на аппарате марковских случайных процессов - одном из наиболее распространенных и стандартизированных методов. безопасности. Однако, в процессе их применения исследователь может столкнуться с рядом проблем вследствие высокой жесткости марковских моделей, а также их разреженности, разложимости и неприводимости, которые влияют на временную и вычислительную ресурсоемкость процесса моделирования, а также точность полученных результатов.
Необходимо отметить, что имеющиеся стандарты в области надежности не содержат четких требований к выбору утилит и методов анализа марковских моделей, что, учитывая описанные выше свойства, значительно усложняет оценивание показателей надежности и безопасности ИУС с заданной точностью (ε ≥ 10-6).
Разработка программного средства позволяющего на основе автоматического анализа указанных свойств, графически заданной марковской модели, провести мотивированный и направленный выбор метода интегрирования системы дифференциальных уравнений Колмогорова-Чепмена, позволит повысить точность и достоверность результатов моделирования, а также минимизировать время и вычислительные ресурсы.
*Научный руководитель–д.т.н., профессор В.С. Харченко