On Formal Methods in Development of Control Logic Using IEC 61499
Doktorsavhandling, 2009

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.

Modeling

Synthesis

Verification

Formal Methods

Supervisory Control Theory

IEC 61499

Control Logic Development

ED-salen, Hörsalsvägen 11, Göteborg
Opponent: Dr. Valeriy Vyatkin, Department of Electrical and Computer Engineering, The University of Auckland, New Zealand

Författare

Goran Cengic

Chalmers, Signaler och system, System- och reglerteknik, Automation

Implementation of full synchronous composition using IEC 61499 function blocks

2005 IEEE International Conference on Automation Science and Engineering (CASE) (IEEE Cat. No.05EX1181),; (2005)p. 267-72

Paper i proceeding

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

2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA; Hamburg; Germany; 20 September 2006 through 22 September 2006,; (2006)p. 1269-1276

Paper i proceeding

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

Proceedings of the 17th IFAC World Congress,; (2008)p. 22-27

Artikel i vetenskaplig tidskrift

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

Proceedings of the 6th IEEE International Conference on Industrial Informatics,; (2008)p. 301-306

Artikel i vetenskaplig tidskrift

Ämneskategorier

Annan data- och informationsvetenskap

Systemvetenskap

ISBN

978-91-7385-241-8

Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 2922

ED-salen, Hörsalsvägen 11, Göteborg

Opponent: Dr. Valeriy Vyatkin, Department of Electrical and Computer Engineering, The University of Auckland, New Zealand

Mer information

Skapat

2017-10-07