Model-Driven Runtime Embedded Monitoring for Industrial Controllers

In the article, the original method of embedded functional monitoring for industrial controllers is proposed. The method can be used during commissioning and operation of industrial automation systems. The method is effective for long-term monitoring in runtime and is characterized by low requirements for embedded memory. The method is based on fixation of controller´s behavior in terms of state machine formal model. Observation is realized by monitoring modules embedded in industrial controllers. The results can be used as input data for existing formal verification methods.