One Decade of IEC 61499 Modeling and Verification - Results and Open Issues

Abstract The contribution summarizes the development of formal modeling and verification of Function Blocks following the IEC 61499. We provide a critical review on what has been done so far and open the view for further challenges in the development of formal techniques for IEC 61499.

[1]  Hans-Michael Hanisch,et al.  Modular plant modelling for distributed control , 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.

[2]  Mohamed Khalgui,et al.  A behavior model for IEC 61499 function blocks , 2004 .

[3]  Valeriy Vyatkin,et al.  Timing diagram specifications in modular modeling of industrial automation systems , 2005 .

[4]  Georg Frey,et al.  Functional Design for IEC 61499 Distributed Control Systems using UML Activity Diagrams , 2005 .

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

[6]  Valeriy Vyatkin,et al.  Application of visual specifications for verification of distributed controllers , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[7]  C. Sunder,et al.  Future scenarios for application of downtimeless reconfiguration in industrial practice , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[8]  Christian Gerber,et al.  A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types , 2008 .

[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]  Goran Cengic,et al.  A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification , 2008 .

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

[12]  Emanuele Carpanzano,et al.  Applying the IEC-61499 Model to the Shoe Manufacturing Sector , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[13]  IEC 61499 Function Blocks for Distributed Networked Embedded Applications , 2006, 2006 4th IEEE International Conference on Industrial Informatics.

[14]  Carlos C. Insaurralde,et al.  IEC 61499 Model for Avionics Distributed Fuel Systems with Networked Embedded Holonic Controllers , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[15]  H.-M. Hanisch,et al.  Specification and verification of technical plant behavior with symbolic timing diagrams , 2008, 2008 3rd International Design and Test Workshop.

[16]  W. M. Wonham,et al.  Supervisor Reduction for Discrete-Event Systems , 2004, Discret. Event Dyn. Syst..

[17]  Valeriy Vyatkin,et al.  Design and implementation of a prototype control system according to IEC 61499 , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

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

[19]  Christian Gerber,et al.  Basics of Modelling IEC 61499 Function Blocks with Integer-Valued Data Types , 2008 .

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

[21]  Hans-Michael Hanisch,et al.  Synthesis of Distributed Controllers by Means of a Monolithic Approach , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

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

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

[24]  H.-M. Hanisch,et al.  Synthesis of distributed forcing/locking safety controllers , 2008, 2008 34th Annual Conference of IEEE Industrial Electronics.

[25]  V. Vyatkin,et al.  Now That's Smart! , 2007, IEEE Industrial Electronics Magazine.

[26]  Thomas G. Fisher.  Batch Control Systems: Design, Application, and Implementation , 1990 .

[27]  Lawrence E. Holloway,et al.  Automated synthesis and composition of taskblocks for control of manufacturing systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.