Сироткіна О. І. Методи діагностики SCADA систем на основі m-арних кортежів та k-значної логіки

Дисертаційну роботу присвячено вирішенню актуальної науково-прикладної задачі забезпечення якості функціонування SCADA системи за рахунок її самодіагностики. На основі об'єктно-класифікаційної моделі запропоновано метод формування простору пошуку діагнозу з використанням математичних методів роботи зі структурою типу m-арні кортежі на основі впорядкованих множин, що мінімізує простір пошуку діагнозу. На основі структурно-логічної моделі вперше отримано функції виявлення та локалізації відмови у системі, запропоновано метод аналізу зміни стану інформаційного потоку в SCADA. Розроблено програмний засіб оперативного контролю працездатності SCADA з визначенням коефіцієнтів нестабільності роботи структурних модулів системи. Комплексне використання отриманих у роботі результатів дозволяє мінімізувати час виявлення схованих відмов до масштабів реального часу; експлуатаційним службам підприємства здійснювати своєчасну діагностику позаштатних ситуацій і причин відмов SCADA системи.