Formal models for the verification of IEC 61499 function block based control applications

Author

Lüder, Arndt ; Schwab, Christian ; Tangermann, Marcus ; Peschke, Jörn

Author_Institution

Center Distributed Syst., Univ. of Magdeburg

Volume

1

fYear

2005

fDate

19-22 Sept. 2005

Lastpage

112

Abstract

Industrial automation is currently on the cusp to the application of distributed systems based on distributed intelligence enabling distributed decision making within control. As one main technology within this field IEC 61499 based function block systems would be applied. But the usage of function block systems may cause problems which have to be avoided prior to the integration of a function block system in a control system. Hence, function block systems need to be examined using formal models and formal verification technologies. Therefore, formal models need to be created automatically during the function block system design. Within this paper an algorithm for automatic model design and its integration in the function block system designer would be described

Keywords

IEC standards; distributed control; distributed decision making; formal verification; industrial control; IEC 61499 based function block system; IEC 61499 function block; automatic model design; distributed decision making; distributed intelligence; formal verification model; industrial automation; Algorithm design and analysis; Automatic control; Automation; Control systems; Decision making; Distributed control; Distributed decision making; Electrical equipment industry; IEC standards; Industrial control;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on

Conference_Location

Catania

Print_ISBN

0-7803-9401-1

Type

conf

DOI

10.1109/ETFA.2005.1612508

Filename

1612508