Реєстраційний номер
0826U005068, Дисертація доктора філософії
На здобуття
Доктор філософії
Дата захисту
21-09-2026
Статус
Захищена
Назва роботи
Методи і засоби забезпечення функційної безпечності інформаційно-керуючих систем АЕС на програмовних платформах з використанням комбінованої диверсності
Здобувач
Панарін Артем Сергійович,
Керівник Харченко Вячеслав Сергійович
Опонент Заславський Володимир Анатолійович
Опонент Шкарупило Вадим Вікторович
Рецензент Куланов Віталій Олександрович
Рецензент Манжос Юрій Семенович
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Національний аерокосмічний університет "Харківський авіаційний інститут"
Опис
Дисертаційну роботу присвячено підвищенню функційної безпечності багатоверсійних інформаційно-керуючих систем атомних електростанцій, реалізованих на програмовних платформах типу FPGA та SoC, за рахунок застосування комбінованої диверсності та модельно-базованої верифікації. Розроблено графову та матричну моделі диверсності. Розроблено метод вибору видів диверсності на основі експертного оцінювання метрик ефективності та вартості. Удосконалено методи реалізації програмно-апаратної диверсності: диверсна синхронізація, структурно-просторова диверсність, диверсифікація контрольних сум та передачі даних. Вперше запропоновано метод модельно-базованої верифікації систем програмовної логіки з використанням ForSyDe та порівнянням версій. Практичне значення результатів полягає в їх застосуванні при проєктуванні систем безпеки АЕС на платформах Radiy, RadICS.
Дата реєстрації
2026-09-03
Додано/оновлено в НРАТ
2026-09-03 / 2026-09-24
