Методи і засоби забезпечення функційної безпечності інформаційно-керуючих систем АЕС на програмовних платформах з використанням комбінованої диверсності

Abstract

Дисертаційну роботу присвячено підвищенню функційної безпечності багатоверсійних інформаційно-керуючих систем атомних електростанцій, реалізованих на програмовних платформах типу FPGA та SoC, за рахунок застосування комбінованої диверсності та модельно-базованої верифікації. У роботі враховано вимоги міжнародних і національних стандартів (IEC 61513, IEC 60880, IEC 62138, IEC 61508, рекомендації МАГАТЕ та нормативні документи України) щодо проєктування і експлуатації систем, важливих для безпеки АЕС, а також специфіку відмов за загальною причиною для інфокомунікаційної та програмно-апаратної складових ІКС.

The dissertation is devoted to improving the functional safety of multi-version information and control systems (ICS) of nuclear power plants implemented on FPGA and SoC programmable platforms by applying combined diversity and model-based verification. The research takes into account international and national standards (IEC 61513, IEC 60880, IEC 62138, IEC 61508, IAEA recommendations and Ukrainian regulations) for the design and operation of safety-important systems, as well as the specifics of common cause failures (CCF) for ICS software–hardware components.