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

fYear

1999

fDate

Aug. 31 1999-Sept. 3 1999

Firstpage

2170

Lastpage

2175

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Control Conference (ECC), 1999 European

Conference_Location

Karlsruhe

Print_ISBN

978-3-9524173-5-5

Type

conf

Filename

7099641

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=706697