Герaсименко К. Є. Методи функціонального тестування критичних систем керування

Мета дисертаційного дослідження - підвищення якості та надійності критичних систем керування АЕС за рахунок розробки методів функціонального тестування для перевірки і діагностування дефектів типу "неспрацьовування" в момент їх виникнення, що забезпечують відновлення працездатності несправних компонентів в реальному часі. Об'єкт дослідження - процеси функціонування, тестування й діагностування цифрового обладнання критичних систем керування енергоблоками атомних станцій. Предмет дослідження - моделі та методи функціонального тестування цифрового обладнання критичних систем керування енергоблоками атомних станцій, стандарти забезпечення тестопридатності, перевірки та діагностування несправностей типу "неспрацьовування" при створенні обладнання КСБ з використанням функціональних логічних елементів на основі арифметичних операцій. Основні результати: новий метод забезпечення тестопридатності блоку захисту з використанням функціональних елементів на базі арифметичних операцій, що забезпечує безперервний моніторинг і діагностування обладнання КСБ за рахунок проходження будь-якої зміни вхідного безперервного сигналу в межах роздільної здатності АЦП через всю схему алгоритму: від АЦП і далі через функціональні елементи до елемента керування конкретним виконавчим механізмом; новий метод синтезу типових функціональних елементів блоку захисту на базі арифметичних операцій (додавання, віднімання, ділення, множення) для базових функціональних елементів обладнання захисту ("І", "АБО", "2 з 3-х", "2 з 4-х", "RS тригер"); новий метод моніторингу і діагностування обладнання захисту, побудованого з використанням функціональних елементів на базі арифметичних операцій; методика реалізації процедур моніторингу і діагностування обладнання захисту, побудованого з використанням функціональних елементів на базі арифметичних операцій.