Application of predicate logic for failure detection in SCADA systems

Abstract

We consider the task of failure detection and localization. It is based on the analysis of the information flow state change in the system. We suggest a structural and logical model to describe SCADA of any topology. It is possible to form diagnostic features of independent failure detection. They are based on the characteristic functions of three-valued logic. We determine the predicate system of knowledge representation to implement the method of SCADA diagnostics in the event of incomplete data.Розглядається задача виявлення та локалізації відмов у SCADA на основі аналізу зміни стану інформаційних потоків у системі. Пропонується структурно-логічна модель опису SCADA будь-якої топології. На основі характеристичних функцій тризначної логіки формуються діагностичні ознаки виявлення незалежної відмови. Визначається предикатна система подання знань для реалізації методу діагностики працездатності SCADA в умовах неповних даних / недостовірних даних.