A synchronous model of IEC 61131 PLC languages in SIGNAL

Author

JimÉnez-Fraustro, Fernando ; Rutten, Éric

Author_Institution

IRISA, Rennes, France

fYear

2001

fDate

2001

Firstpage

135

Lastpage

142

Abstract

Control systems for industrial automation feature real-time programs embedded in a variety of machines and processes, showing complexity and safety criticality. Standardization has led to the definition of the IEC 61131 design standard for Programmable Logic Controllers (PLCs). Its formalization for purposes of analysis and design tool support is an active research topic. The synchronous approach to real-time and reactive systems has resulted in formalisms and effective tools for the compilation, analysis and verification of specifications. With the motivation to give access to the latter; this paper presents a synchronous model of the PLC programming languages ST (Structured Text) and FBD (Function Block Diagrams), based on the language SIGNAL

Keywords

computational complexity; formal specification; formal verification; program compilers; programmable controllers; standardisation; IEC 61131 PLC languages; IEC 61131 design standard; SIGNAL language; complexity; industrial automation; programmable logic controllers; real-time programs; safety criticality; specifications; standardization; synchronous model; verification; Automatic control; Automation; Control systems; Electrical equipment industry; IEC standards; Industrial control; Programmable control; Real time systems; Safety; Standardization;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems, 13th Euromicro Conference on, 2001.

Conference_Location

Delft

Print_ISBN

0-7695-1221-6

Type

conf

DOI

10.1109/EMRTS.2001.934016

Filename

934016