Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

The execution model in a new standard for distributed control systems, IEC 61499, is analyzed. It is shown how the same standard compliant application running in two different standard compliant runtime environments may result in completely different behaviors. Thus, to achieve true portability of applications between multiple standard compliant runtime environments a more detailed execution model is necessary. In this paper a new runtime environment, Fuber, is presented along with a formal execution model. In this case the execution model is given as a set of interacting state machines which makes it straightforward to analyze the behavior of the application and runtime together using existing tools for formal verification.

[1]  Knut Åkesson,et al.  Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors , 2003 .

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

[3]  J.-M. Faure,et al.  Towards IEC 61499 function blocks diagrams verification , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[4]  William Moses.  Modelling control systems using IEC 61499 , 2001 .

[5]  Kleanthis Thramboulidis.  Development of distributed industrial control applications: the CORFU framework , 2002, 4th IEEE International Workshop on Factory Communication Systems.

[6]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[7]  Valeriy Vyatkin,et al.  OOONEIDA: an open, object-oriented knowledge economy for intelligent distributed automation , 2003, IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings..

[8]  Jean Jacques Moreau,et al.  SOAP Version 1. 2 Part 1: Messaging Framework , 2003 .

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

[10]  A. Watson,et al.  OMG (Object Management Group) architecture and CORBA (common object request broker architecture) specification , 2002 .

[11]  Bengt Lennartson,et al.  Implementation of full synchronous composition using IEC 61499 function blocks , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[12]  Valeriy Vyatkin,et al.  Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems , 2001, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597).

[13]  Valeriy Vyatkin,et al.  OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation , 2005, IEEE Transactions on Industrial Informatics.

[14]  Grady Booch,et al.  Essential COM , 1998 .

[15]  R. Kretschmann,et al.  INTERNATIONAL ELECTROTECHNICAL COMMISSION TECHNICAL COMMITTEE No. 65B: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 7/TASK FORCE 3: PROGRAMMING LANGUAGES FOR PROGRAMMABLE CONTROLLERS (IEC 61131-3, -8) MINUTES OF MEETING , 2007 .

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

[17]  R. W. Lewis,et al.  Programming Industrial Control Systems Using IEC 1131-3 , 1995 .

[18]  Valeriy Vyatkin,et al.  Acheiving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499: A Developer's View , 2005, The Industrial Information Technology Handbook.

[19]  Kleanthis Thramboulidis,et al.  Real-time Java in control and automation: a model driven development approach , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[20]  Kleanthis Thramboulidis,et al.  Developing a CASE tool for distributed control applications , 2003 .

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

[22]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .