CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

On Formal Methods in Development of Control Logic Using IEC 61499

Goran Cengic (Institutionen för signaler och system, Automation)
Göteborg : Chalmers University of Technology, 2009. ISBN: 978-91-7385-241-8.- 206 s.

In the present global economy the manufacturing industry is faced with the challenges that need to be overcome in order to remain competitive and avoid outsourcing. One of the challenges is the efficient development of the control logic for the distributed control systems that are often used to control the manufacturing equipment in the industry. Formal methods are mathematical frameworks that might be useful for overcoming that challenge. The control logic is often developed using the IEC 61131 standard that is focused on programming languages for non-distributed control systems. However, the new IEC 61499 standard provides the communication support as well as the programming units, i.e. function blocks, that are aimed at the control logic development for the distributed control systems. In the thesis, it is shown that the unclear specification of the function block scheduling order in the IEC 61499 might result in the control logic not being portable across IEC 61499 implementations. Therefore, the block scheduling order has to be considered during the control logic development. As a consequence, the developers might lose the focus on the high-level control logic that may result in the time-consuming development. The thesis presents contributions that may help the automatic formal model generation of the IEC 61499 control logic, assuming different block scheduling orders. The generated formal models may be used for verification of the control logic behavior using the algorithms of the framework called supervisory control theory (SCT). A synthesis algorithm from the SCT is used in the thesis for calculation of all deadlock free block scheduling orders from the automatically generated formal models. The contributions may help developers to concentrate on the high-level control logic since they may be able to use the formal methods to reduce the possible impact that the block scheduling orders, used in different IEC 61499 implementations, might have on the correctness of their control logic. Therefore, the developers may receive some benefits of the formal methods for the efficient development of the IEC 61499 control logic for the distributed control systems.

Nyckelord: Control Logic Development, IEC 61499, Formal Methods, Supervisory Control Theory, Modeling, Verification, Synthesis

Denna post skapades 2009-01-23. Senast ändrad 2013-09-25.
CPL Pubid: 88859


Institutioner (Chalmers)

Institutionen för signaler och system, Automation


Övrig informationsteknik

Chalmers infrastruktur

Relaterade publikationer

Inkluderade delarbeten:

Implementation of full synchronous composition using IEC 61499 function blocks

Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification

Definition of the Execution Model Used in the Fuber IEC 61499 Runtime Environment


Datum: 2009-02-20
Tid: 10:00
Lokal: ED-salen, Hörsalsvägen 11, Göteborg
Opponent: Dr. Valeriy Vyatkin, Department of Electrical and Computer Engineering, The University of Auckland, New Zealand

Ingår i serie

Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie 2922