Registration Number
0419U002045, Candidate dissertation
Status
Кандидат технічних наук
Date
05-04-2019
popup.evolution
.
Title
Methods of information and control systems safety assessment and ensuring procedures complexation
Author
Babeshko Ievgen V.,
popup.head Kharchenko Vyacheslav S.
popup.opponent Maevsky Dmytro A.
popup.opponent Docenko Sergiy I.
popup.rada
National Aerospace University "Kharkiv Aviation Institute"
Description
Об’єкт дослідження – критичні інформаційно-керуючі системи та процеси оцінювання їх надійності та безпеки; мета дослідження – підвищення функціональної безпеки ІКС за рахунок комплексування процедур її оцінювання та забезпечення; методи дослідження – методи теорії графів, методи теорії надійності та реконфігурації, методи теорії ймовірностей та марковських випадкових процесів з дискретними станами і безперервним часом; результати – методи інформаційної технології комлексування процедур оцінювання та забезпечення функціональної безпеки ІКС, що дозволяють підвищити функціональну безпеку ІКС за рахунок зниження ризиків небезпечних відмов ІКС шляхом впровадження перерозподілу надмірності каналів між підсистемами нормальної експлуатації та управління безпекою/аварійного захисту, а також за рахунок зниження ризиків неточності оцінювання показнику функціональної безпеки при використанні кількох процедур оцінювання; новизна – вперше запропоновано метод процедурно-графового аналізу надійності та функціональної безпеки, який на відміну від відомих базується на формальному описі та комплексуванні процедур їх оцінювання у вигляді метаорграфу, а також генерації та ранжуванні комбінацій процедур на підставі відношення переваги, що дозволяє здійснювати вибір набору процедур для забезпечення надійності та безпеки на етапі проектування ІКС; удосконалено метод підвищення функціональної безпеки ІКС шляхом урахування ненадійності міжшарових комунікацій і перерозподілу ресурсів для підтримки працездатності або забезпечення протиаварійного захисту залежно від кількості та видів відмов, що дозволяє знизити ймовірність переходу систем у небезпечний стан; дістали подальшого розвитку марковські моделі для оцінювання готовності інформаційно-керуючих систем на основі врахування різних варіантів резервування, відновлення і нерівнонадійності компонентів, що дозволяє підвищити точність оцінки і здійснити вибір раціонального варіанту структури і параметрів технічного обслуговування з урахуванням вимог до надійності систем; ступінь упровадження –впроваджено у ТОВ «Хартеп», ПП «Промавтоматика-Харків», Національний аерокосмічний університет ім. М.Є. Жуковського «Харківський авіаційний інститут», ТОВ «Іпра-Софт»; галузь – системи критичного застосування
Registration Date
2019-04-10
popup.nrat_date
2020-04-03 / 2026-06-29
