Robust filtering of PLC program for automated systems of production

Abstract

AbstractThe proposed methodology enables to secure the control program of automated production systems. The principle is to place a robust filter inside the PLC of the automated production system to inhibit or authorize actions in the event of detection of errors in the control program. The proposed methodology rests on the one hand, on a rigorous analysis of the automated production system in order to formally build the set of constraints which constitute the filter using temporal and boolean logic. And on the other hand, a phase of modeling by finite-state automata which is necessary to validate the sufficiency of the constraints and to check the robustness of the filter as well as the safety properties using Model-Checking tools.