TRANSFORMATION OF IEC 61499 CONTROL SYSTEMS TO FORMAL MODELS

This paper is focused on transforming a real case IEC 61499 control system to a fomal Net Condition/Event System (NCES). Thereby, rules are defined and implemented as XSLT scripts and SWI-Prolog rules, which allow an automatic generation of formal NCES modules from the given function blocks. These function blocks incorporate data processing by means of algorithms together with a model of execution control. The goal of the study is to verify the correct behaviour of the IEC 61499 controller. This is realized within a closed-loop model that comprises also a model of the plant.

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

[2]  H.-M. Hanisch,et al.  Modeling of PLC behavior by means of timed net condition/event systems , 1997, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.

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

[4]  Emmanuel Pietriga,et al.  A toolkit for addressing HCI issues in visual language environments , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[5]  Arndt Lüder,et al.  Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen , 2000 .

[6]  Valeriy Vyatkin,et al.  Systematic Design and Implementation of Distributed Controllers in Industrial Automation , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

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

[8]  M. Hirsch,et al.  Design and Implementation of Heterogeneous Distributed Controllers According to the IEC 61499 Standard - A Case Study , 2007, 2007 5th IEEE International Conference on Industrial Informatics.