Formal validation of PLC programs: A survey
S. Lampérière-Couffin, O. Rossi, Jean‐Marc Roussel, Jean-Jacques Lesage · 1999
The aim of this paper is to give an overview of the validation methods for IEC 61131-3 programming languages for programmable logic controllers. More precisely we are focussing on the SFC structuring language and on the LD programming language. The SFC and LD validation methods are detailed after a short presentation of the usual formal methods and of the IEC 61131-3 standard.