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

Дисертацію присвячено розробці моделей оцінки, методів забезпечення надійності та вибору відмовостійких структур інформаційно-управляючих систем (ІУС), важливих для безпеки АЕС, з використанням багатоверсійних технологій. Науковими результатами є: 1) вперше запропоновано моделі надійності багатоверсійних структур ІУС, що на відміну від відомих враховують збої і відмови версій, які обумовлені відносними, груповими й абсолютними дефектами, і дозволяють обчислити імовірності станів з різними рівнями безпеки; 2) удосконалено моделі надійності одноверсійних структур ІУС, які описують можливі стани системи, що ураховують різну кількість та види відмов і збоїв технічних засобів і програмного забезпечення, та дозволяють одержати аналітичні залежності для розрахунку показників безвідмовності невідновлюваних і готовності відновлюваних систем; 3) удосконалено метод оцінки і вибору варіантів структур ІУС, що базується на комплексному підході до рішення задач аналізу, синтезу і верифікації структур і дозволяє обґрунтовувати багатоверсійну технологію розробки систем. Отримані результати застосовано для програмно-технічного комплексу аварійного та попереджувального захисту ядерних реакторів ВВЕР-1000, які використовуються на АЕС України. Це дозволило обґрунтувати системотехнічні рішення та забезпечити виконання вимог щодо принципу диверсності.