Automatic model generation of IEC 61499 function block using net condition/event systems

The IEC 61499 standard establishes a framework specifically designed for the implementation of decentralized reconfigurable industrial automation systems. However, the process of distributed systempsilas validation and verification is difficult and error-prone. This paper discusses the needs of model generators which are capable of automatically translating IEC 61499 function blocks into formal models following specific execution semantics. In particular, this paper introduces the prototype Net Condition/Event Systems model generator and aims to summarize the generic techniques of model translation.

[1]  Valeriy Vyatkin,et al.  Modelling and Verification of IEC 61499 Applications using Prolog , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[2]  V. Vyatkin.  Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems , 2006, 2006 4th IEEE International Conference on Industrial Informatics.

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

[4]  Valeriy Vyatkin,et al.  Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems , 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..

[5]  Hervé Guéguen,et al.  Using timed automata for the verification of iec 61499 applications , 2004 .

[6]  A. Lobov,et al.  An IEC 61499 application generator for scan-based industrial controllers , 2005, INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005..

[7]  Cheng Pang,et al.  Towards Formal Verification of IEC61499: modelling of Data and Algorithms in NCES , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[8]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[9]  Knut Åkesson.  Methods and Tools in Supervisory Control Theory: Operator Aspects, Computational Efficiency, and Applications , 2002 .

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

[11]  Goran Cengic,et al.  Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[12]  V. Vyatkin,et al.  Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499 , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[13]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[14]  Georg Frey,et al.  Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[15]  Stephan Merz,et al.  Model Checking , 2000 .