Шуригін О. В. Моделі та методи забезпечення надійності бортових систем обробки інформації з використанням версійно-часової надмірності

Об'єктом дослідження є процеси розробки й функціонування резервованих бортових систем обробки інформації (СОІ). Метою дослідження є підвищення надійності бортових систем обробки інформації на основі комплексного використання структурної, версійної і часової надмірності. Основними методами дослідження є методи системного аналізу, теоретико-множинного та автоматного опису СОІ, теорії ймовірностей і математичної статистики, базові положення теорії надійності і технічної діагностики, а також методи експертних оцінок. Наукове значення результатів визначається тим, що вони розвивають методи аналізу, оцінювання та забезпечення надійності систем обробки інформації літальних апаратів інших критичних об’єктів з використанням різних видів надмірності. Практичне значення полягає в тому, що основні положення дисертації реалізовані у вигляді моделей відмов багатоканальних структур СОІ, інженерних методів, алгоритмів оцінювання і забезпечення надійності, які є інструментарієм прикладної інформаційної технології підтримки прийняття рішень при обґрунтуванні вимог, аналізі і виборі варіантів створення високонадійних бортових СОІ. Вперше одержано моделі відмов багатоканальних структур СОІ з версійно-часовою надмірністю, що відрізняються від відомих тим, що враховують вплив кратних і парних дефектів апаратних і програмних засобів на працездатність і дозволяють розрахувати показники контролю, діагностування та відмовостійкості. Удосконалено метод резервування СОІ з використанням структурної та версійно-часової надмірності у частині процедур формування вихідної інформації на основі результатів від різних програмно-апаратних версій каналів при одно - і дворазовому прогонах, що забезпечує підвищення стійкості систем до відмов і збоїв апаратних і програмних засобів. Дістало подальшого розвитку метод оцінки і вибору багатоканальних структур з версійно-часовою надмірністю за рахунок введення метрик, що враховують різні типи дефектів програмно-апаратних засобів, і процедур формування пріоритетних рядів, що дозволяє підвищити повнотуоцінки й автоматизувати процеси прийняття рішень при виборі варіантів відмовостійких структур СОІ. Впровадження – галузеве. Подальше використання отриманих в дисертації результатів рекомендовано у науково-дослідних, проектних та виробничих організаціях, що беруть участь в виконанні проектів на удосконалення методів розробки та відбору відмовостійких структур СОІ з комбінованою надмірністю.