Basics of Modelling IEC 61499 Function Blocks with Integer-Valued Data Types

Abstract The best way to prove the correct behaviour of a distributed control system in any case is to do a closed-loop verification of the control system connected with the plant. As formal model we will use the known Net Condition/Event Systems (NCES) and extend the rule-based transformation of the IEC 61499 control system from former publications to the use of complex function blocks interfaces and integer-valued data types. To use variables of these data types at the condition of ECTransitions, the connecting rules between the interface and the Execution Control Chart are expanded. The modelling of the plant as well as the analysis of the reachability graph are presented using a real manufacturing system.

[1]  V. Vyatkin,et al.  Architecture for automation system development based on IEC 61499 standard , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[2]  Georg Frey,et al.  SEQUENTIAL CONTROL AT THE SUPERVISORY LEVEL OF BATCH PLANT USING SIGNAL INTERPRETED PETRI NETS , 2007 .

[3]  Marcello Bonfè,et al.  Design and verification of mechatronic object-oriented models for industrial control systems , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[4]  Hans-Michael Hanisch,et al.  Hierarchical distributed controllers - design and verification , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[5]  Wolfram Schiffmann,et al.  Technische Informatik 1 , 1993 .

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

[7]  Hervé Guéguen,et al.  A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic , 2003 .

[8]  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).

[9]  V. Vyatkin,et al.  Modelling of IEC 61499 function blocks a clue to their verification , 2000 .

[10]  G. Frey,et al.  Modeling techniques for distributed control systems based on the IEC 61499 standard - current approaches and open problems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[11]  H.-M. Hanisch,et al.  TRANSFORMATION OF IEC 61499 CONTROL SYSTEMS TO FORMAL MODELS , 2010 .

[12]  Peng Zhao,et al.  Modeling admissible behavior using event signals , 2004, IEEE Trans. Syst. Man Cybern. Part B.

[13]  Valeriy Vyatkin,et al.  Reuse of components in formal modeling and verification of distributed control systems , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.