Applying the handler-based execution model to IEC 61499 basic and composite function blocks

We defined the so-called "handler-based execution model" as a real-time capable execution model for CNet [H. Wurmus, 2002] [N. Hagge and B. Wagner, 2005]. Traditional controller implementations typically consist of big loops with a fix sequential execution scan order. This was not appropriate for Petri-net based CNet that is characterized by a high degree of concurrency and locality. Our execution model is purely based on events to dynamically schedule the evaluation of firing conditions and avoids unnecessary calculations. There are no global event queues. Event-flow is handled locally which is beneficial for multithreaded and/or distributed platforms. This execution model is part of a full automatic code generator that translates CNet controller models into (real-time) Java code. Examining IEC 61499 revealed that function blocks networks similarly feature concurrency and locality, but that execution environments for function blocks are still developed based on traditional fixed sequential scan approaches. This paper will introduce the main concepts of the "Handler- based execution model" and show its possible application to IEC 61499 function blocks for automatic code generation.

[1]  F. Auinger,et al.  Executing real-time constrained control applications modelled in IEC 61499 with respect to dynamic reconfiguration , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[2]  G.S. Doukas,et al.  A real-time Linux execution environment for function-block based distributed control applications , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[3]  José L. Martínez Lastra,et al.  Closed loop control using an IEC 61499 application generator for scan-based controllers , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[4]  Kleanthis Thramboulidis IEC 61499 in Factory Automation , 2007 .

[5]  B. Wagner,et al.  Java code patterns for Petri net based behavioral models , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[6]  Lothar Litz,et al.  Automatische Erzeugung von SPS-Programmen auf der Basis von Petri-Netzen , 1995 .

[7]  Nils H. Hagge,et al.  A new function block modeling language based on Petri nets for automatic code generation , 2005, IEEE Transactions on Industrial Informatics.

[8]  C. Veber,et al.  Implementation approaches for the execution model of IEC 61499 applications , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[9]  B. Wagner,et al.  Mapping reusable control components to Java language constructs , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[10]  Georg Frey Automatic implementation of Petri net based control algorithms on PLC , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[11]  Harald Wurmus CNet - komponentenbasierter Entwurf verteilter Steuerungssysteme mit Petri-Netzen , 2002 .