Registration Number
0826U005068, PhD dissertation
Status
Доктор філософії
Date
21-09-2026
popup.evolution
.
Title
Methods and means for ensuring functional safety of NPP information and control systems on programmable platforms using combined diversity
Author
Artem S. Panarin,
popup.head Viacheslav S. Kharchenko
popup.opponent Volodymyr Zaslavskyi
popup.opponent Vadym V. Shkarupylo
popup.review Vitalii O. Kulanov
popup.review Yuriy S. Manzhos
popup.rada
National Aerospace University "Kharkiv Aviation Institute"
Description
Дисертаційну роботу присвячено підвищенню функційної безпечності багатоверсійних інформаційно-керуючих систем атомних електростанцій, реалізованих на програмовних платформах типу FPGA та SoC, за рахунок застосування комбінованої диверсності та модельно-базованої верифікації. Розроблено графову та матричну моделі диверсності. Розроблено метод вибору видів диверсності на основі експертного оцінювання метрик ефективності та вартості. Удосконалено методи реалізації програмно-апаратної диверсності: диверсна синхронізація, структурно-просторова диверсність, диверсифікація контрольних сум та передачі даних. Вперше запропоновано метод модельно-базованої верифікації систем програмовної логіки з використанням ForSyDe та порівнянням версій. Практичне значення результатів полягає в їх застосуванні при проєктуванні систем безпеки АЕС на платформах Radiy, RadICS.
Registration Date
2026-09-03
popup.nrat_date
2026-09-03 / 2026-09-24
