Асідех Ф. А. Моделі та методи підвищення надійності інформаційно-управляючих систем критичного застосування з використанням багатоканального дублювання

Дисертація присвячена розробці моделей надійності і методів резервування та відновлення комп'ютеризованих інформаційно-управляючих систем з багатоканальною дубльованою архітектурою (КІС з БДА) з урахуванням відмов апаратних і програмних засобів (АЗ і ПЗ). Науковими результатами є: 1) модель КІС з БДА, що визначає системні зв'язки функціональних та надійнісних ознак відмовостійких архітектур і дозволяє синтезувати їх з урахуванням кількості та розподілу по каналах програмних версій, повноти дублювання, здатності до адаптації; 2) метод адаптації до відмов АЗ і ПЗ, що базується на динамічній реконфігурації та послідовному аналізі синдромів і забезпечує збереження працездатності при відмовах двох довільних каналів; 3) сукупність марковських моделей готовності відновлюваних КІС з БДА, які ураховують параметри стратегій відновлення, варіанти введення версійної надмірності та міжпідсистемного контролю; 4) комплекс стратегій відновлення КІС, які ураховують моменти початку, обсяг і пріоритетність відновлюванихелементів після відмов АЗ і ПЗ; 5) метод вибору архітектур і стратегій відновлення КІС з БДА, що забезпечує спрямований пошук раціональних структурних та експлуатаційних параметрів за критеріями готовності та відмовостійкості. Отримані результати дозволяють підвищити відмовостійкість та готовність КІС за рахунок комплексного використання процедур адаптації, багатоверсійних технологій та стратегій відновлення, а також автоматизувати процеси прийняття рішень при розробці.