Title :
Formal validation of PLC programs: A survey
Author :
Lamperiere-Couffin, S. ; Rossi, O. ; Roussel, J.-M. ; Lesage, J.-J.
Author_Institution :
Ecole Normale Super. de Cachan, Univ. Lab. in Automated Production Res., Cachan, France
fDate :
Aug. 31 1999-Sept. 3 1999
Abstract :
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.
Keywords :
control engineering computing; programmable controllers; programming languages; IEC 61131-3 programming languages; LD programming language; PLC programs; SFC structuring language; formal methods; formal validation; programmable logic controllers; Automata; Computer languages; Control systems; IEC standards; Mathematical model; Safety; ladder diagrams; programmable logic controller; programming languages; sequential function charts; validation methods;
Conference_Titel :
Control Conference (ECC), 1999 European
Conference_Location :
Karlsruhe
Print_ISBN :
978-3-9524173-5-5
