Performance evaluation of SCADA systems by means of Discrete Event Systems
Omar Amri, Dimitri Lefebvre · 2023
This paper addresses the performance evaluation of fault detection and diagnosis (FDD) functions included in most SCADA systems. Our aim is to enlarge the discrete event system perspective about fault detection and diagnosis. In fact most of the existing approaches are only interested in the possible non detection situations, but are designed such that they do not provide any false alarm. This situation may lead to poor performance regarding the non detection rate. Here a systematic schema is proposed to study both reactivity (non detection) and correctness (false alarm) properties. The approach relies on the Markovian approximation of the system behaviour in the long run and the proposed schema is developed according to two successive product compositions: at a first time with the fault model, and a second time with the FDD function. As a result, a probabilistic verifier that explains the main average indicators to evaluate the performance of the SCADA system, is presented. The approach is suitable for single fault event as for more complicated fault patterns.