ПРИНЦИП ДИВЕРСНОСТІ ТА БАГАТОВЕРСІЙНІ ТЕХНОЛОГІЇ ДЛЯ СИСТЕМ ЗАХИСТУ РЕАКТОРІВ АТОМНИХ ЕЛЕКТРОСТАНЦІЙ

У роботі розглянуто застосування принципу диверсності та багатоверсійних технологій для підвищення функційної безпечності систем захисту реакторів атомних електростанцій (АЕС), реалізованих на програмовних платформах з використанням технологій FPGA та SoC. Актуальність дослідження зумовлена необхідністю зменшення ризиків відмов за загальною причиною (Common Cause Failure, CCF) у сучасних інформаційно-керуючих системах (ІКС) АЕС та впровадженням програмно-апаратних рішень з високим ступенем інтеграції, які можуть впливати на такі ризики. Проаналізовано вимоги міжнародних стандартів та рекомендацій МАГАТЕ щодо диверсності та багатоверсійних архітектур, а також особливості їх імплементації в українській і світовій практиці. Запропоновано розширену класифікацію видів диверсності для програмних платформ, графові та матричні моделі її представлення, метод вибору диверсних конфігурацій з урахуванням метрик диверсності та відносної вартості, а також методи програмно-апаратної диверсифікації (диверсна синхронізація, структурно-просторова диверсність, диверсифікація контролю цілісності даних). Окрему увагу приділено інтеграції модельно-базованої верифікації (Model-Based Testing, MBT) у життєвий цикл систем захисту реакторів та впровадженню отриманих результатів у платформні рішення Radiy та RadICS.