Бабешко Є. В. Методи комплексування процедур оцінювання та забезпечення функціональної безпеки інформаційно-керуючих систем

Об’єкт дослідження – критичні інформаційно-керуючі системи та процеси оцінювання їх надійності та безпеки; мета дослідження – підвищення функціональної безпеки ІКС за рахунок комплексування процедур її оцінювання та забезпечення; методи дослідження – методи теорії графів, методи теорії надійності та реконфігурації, методи теорії ймовірностей та марковських випадкових процесів з дискретними станами і безперервним часом; результати – методи інформаційної технології комлексування процедур оцінювання та забезпечення функціональної безпеки ІКС, що дозволяють підвищити функціональну безпеку ІКС за рахунок зниження ризиків небезпечних відмов ІКС шляхом впровадження перерозподілу надмірності каналів між підсистемами нормальної експлуатації та управління безпекою/аварійного захисту, а також за рахунок зниження ризиків неточності оцінювання показнику функціональної безпеки при використанні кількох процедур оцінювання; новизна – вперше запропоновано метод процедурно-графового аналізу надійності та функціональної безпеки, який на відміну від відомих базується на формальному описі та комплексуванні процедур їх оцінювання у вигляді метаорграфу, а також генерації та ранжуванні комбінацій процедур на підставі відношення переваги, що дозволяє здійснювати вибір набору процедур для забезпечення надійності та безпеки на етапі проектування ІКС; удосконалено метод підвищення функціональної безпеки ІКС шляхом урахування ненадійності міжшарових комунікацій і перерозподілу ресурсів для підтримки працездатності або забезпечення протиаварійного захисту залежно від кількості та видів відмов, що дозволяє знизити ймовірність переходу систем у небезпечний стан; дістали подальшого розвитку марковські моделі для оцінювання готовності інформаційно-керуючих систем на основі врахування різних варіантів резервування, відновлення і нерівнонадійності компонентів, що дозволяє підвищити точність оцінки і здійснити вибір раціонального варіанту структури і параметрів технічного обслуговування з урахуванням вимог до надійності систем; ступінь упровадження –впроваджено у ТОВ «Хартеп», ПП «Промавтоматика-Харків», Національний аерокосмічний університет ім. М.Є. Жуковського «Харківський авіаційний інститут», ТОВ «Іпра-Софт»; галузь – системи критичного застосування