Title :
A synchronous model of IEC 61131 PLC languages in SIGNAL
Author :
JimÉnez-Fraustro, Fernando ; Rutten, Éric
Author_Institution :
IRISA, Rennes, France
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;
Conference_Titel :
Real-Time Systems, 13th Euromicro Conference on, 2001.
Conference_Location :
Delft
Print_ISBN :
0-7695-1221-6
DOI :
10.1109/EMRTS.2001.934016
