Реєстраційний номер
0212U000428,
0108U010994
, Науково-дослідна робота
Назва роботи
Теоретичні основи, методи та технології забезпечення гарантоздатності еволюціонуючих комп'ютерізованих інфраструктур для аерокосмічних і критичних об'єктів.
Назва етапу роботи
Керівник роботи
Харченко Вячеслав Сергійович,
Дата реєстрації
10-02-2012
Організація виконавець
Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут"
Опис етапу
Розроблено концепцію формування еволюціонуючих гарантоздатних інфраструктур, а також принципи, методи і засоби аналізу та синтезу гарантоздатних компонентно-інтегрованих сервіс-орієнтованих розподілених інфраструктур як систем з невизначеними характеристиками; розроблені методи нормативного регулювання, оцінки та забезпечення високої готовності та функціональної безпеки ІТ- інфраструктур із змінними параметрами, що впливають на їх гарантоздатність; розроблені методи синтезу відмовобезпечних систем з використанням версійно-інформаційної надмірності, а також методи проектування та верифікації інформаційно-управляючих систем як "систем-на-програмованому кристалі" та технології багатоверсійних ІР-інфраструктур. Створено нормативно-методичні документи для авіаційної, ракетно-космічної та енергетичної галузей, стандартів підприємств.
Опис продукції
Запропонована технологія складається з комплексу методичних, алгоритмічних і програмних засобів, що використовуються для D3 (Diversity and Defense-in-Depth)-аналізу та оцінки багатоверсіних інформаційно-керуючих систем (ІКС), важливих для безпеки. Вона базується на трикроковій процедурі аналізу та оцінювання, а саме: 1) аналізі технічної документації за методикою Check-лістів; для цього запропоновані: - класифікаційні схеми видів диверсності для ІКС, що розробляються з використанням FPGA або мікропроцесорної технології; - процедури визначення наявності кожного з видів диверсності та їх взаємозв'язку; - процедури визначення об'єму диверсності; 2) метричної оцінки рівня диверсності шляхом: - визначення значень метрик для кожного виду диверсності; - визначення вагових коефіцієнтів для кожного виду диверсності; - адитивної згортки та отримання інтегральної метрики диверсності; 3) розрахунку показників надійності та безпеки з використанням структурних схем надійності та безпеки, а також марковських моделей.
Автори роботи
Ілляшенко Олег Олександрович
Бабешко Євген Васильович
Бохан Костянтин Олександрович
Брежнєв Євген Віталійович
Волковий Андрій Володимирович
Горбенко Анатолій Вікторович
Гусєв Петро Карленович
Дужий Вячеслав Ігоревич
Куланов Віталій Олександрович
Куланов Сергій Олександрович
Лисенко Ігор Володимирович
Метелиця Олександр Данилович
Орєхов Олександр Олександрович
Сиротюк Ганна Іванівна
Скляр Володимир Володимирович
Слізовська Інна Анатоліївна
Тарасюк Ольга Михайлівна
Фурманов Олексій Аркадійович
Шостак Анатолій Васильович
Шпак Олександр Сергійович
Додано/оновлено в НРАТ
2020-04-02
