Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems

This paper aims at the development of an execution model of function block networks following the IEC 61499 standard architecture for industrial measurement and control systems. Implementation of the standard requires an execution environment that is deterministic, provides real-time reactivity, and is compact to fit embedded platforms. In particular, this paper discusses the problem of function block scheduling that would be the core of such execution environment. The function blocks are modeling by net condition/event systems (NCES). It is shown that the NCES implementation provides a natural scheduling policy for function blocks that preserves concurrency and enables evaluation of the reactivity by model- checking.

[1]  Arndt Lüder,et al.  Formal models for the verification of IEC 61499 function block based control applications , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[2]  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..

[3]  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.

[4]  Frédéric Boussinot,et al.  The ESTEREL language , 1991, Proc. IEEE.

[5]  Valeriy Vyatkin,et al.  A modeling approach for verification of IEC1499 function blocks using net condition/event systems , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

[6]  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..

[7]  H.-M. Hanisch,et al.  Net condition/event systems with multiple condition outputs , 1995, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95.

[8]  Valeriy Vyatkin,et al.  Verification of distributed control systems in intelligent manufacturing , 2003, J. Intell. Manuf..

[9]  V. Vyatkin,et al.  Usability and Interoperability of IEC 61499 based distributed automation systems , 2006, 2006 4th IEEE International Conference on Industrial Informatics.

[10]  Ishfaq Ahmad,et al.  Benchmarking and Comparison of the Task Graph Scheduling Algorithms , 1999, J. Parallel Distributed Comput..

[11]  Valeriy Vyatkin,et al.  Formal validation of intelligent-automated production systems: towards industrial applications , 2006, Int. J. Manuf. Technol. Manag..

[12]  V. Vyatkin,et al.  Towards a Formal Semantic Model of IEC 61499 Function Blocks , 2006, 2006 4th IEEE International Conference on Industrial Informatics.