Migration From PLC to IEC 61499 Using Semantic Web Technologies

This paper proposes a new methodology of migration from IEC 61131-3 PLCs to IEC 61499 function blocks. The aim of this migration process is to recreate IEC 61131-3 applications in IEC 61499 implementations with equivalent execution behavior. The formal model of the IEC 61131-3 standard for migration and cyclical execution model is defined. This method also creates a foundation for correct-by-design development tools and automatic migration between the IEC 61131-3 and IEC 61499 standard. Formal migration rules based on ontology mappings, restoring execution model including tasks and programs scheduling and variables mapping with different access levels, are provided. A transformation engine for importing PLC code, mapping from PLC ontology model to function block model and code generation is implemented based on the ontological knowledge base and semantic query-enhanced web rule language. The migration approach is demonstrated on a simple airport baggage handling system.

[1]  Georg Frey,et al.  A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[2]  Thomas I. Strasser,et al.  Autonomous Application Recovery in Distributed Intelligent Automation and Control Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[3]  Monika Wenger,et al.  Transformation of existing IEC 61131-3 automation projects into control logic according to IEC 61499 , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[4]  Alois Zoitl,et al.  Semantic correct transformation of IEC 61131-3 models into the IEC 61499 standard , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[5]  Alois Zoitl,et al.  Building hierarchical automation solutions in the IEC 61499 modeling language , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[6]  Zoran A. Salcic,et al.  A Synchronous Approach for IEC 61499 Function Block Implementation , 2009, IEEE Transactions on Computers.

[7]  B. Tjahjono,et al.  Iterative knowledge based code generator for IEC 61499 function block , 2009, TENCON 2009 - 2009 IEEE Region 10 Conference.

[8]  Alois Zoitl,et al.  Transformation of IEC 61131-3 to IEC 61499 based on a model driven development approach , 2009, 2009 7th IEEE International Conference on Industrial Informatics.

[9]  A. Zoitl,et al.  Is IEC 61499 in harmony with IEC 61131-3? , 2009, IEEE Industrial Electronics Magazine.

[10]  Thomas I. Strasser,et al.  Design and Execution Issues in IEC 61499 Distributed Automation and Control Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[11]  X. Baillin,et al.  Gold-tin bonding for 200mm wafer level hermetic MEMS packaging , 2011, 2011 IEEE 61st Electronic Components and Technology Conference (ECTC).

[12]  Valeriy Vyatkin.  IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review , 2011, IEEE Transactions on Industrial Informatics.

[13]  Francesco Basile,et al.  Progress in PLC programming for distributed automation systems control , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[14]  Sebastian Engell,et al.  A Unifying Semantics for Sequential Function Charts , 2004, SoftSpez Final Report.

[15]  Valeriy Vyatkin,et al.  Semantics-Robust Design Patterns for IEC 61499 , 2012, IEEE Transactions on Industrial Informatics.

[16]  Martin J. O'Connor,et al.  SQWRL: A Query Language for OWL , 2009, OWLED.

[17]  J. Li,et al.  Wafer-level SLID bonding for MEMS encapsulation , 2013 .

[18]  Christian Diedrich,et al.  SFC inside IEC 61499 , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[19]  J. Peltola,et al.  A Migration Path to IEC 61499 for the Batch Process Industry , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[20]  Valeriy Vyatkin,et al.  Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard , 2010, IEEE Transactions on Industrial Informatics.

[21]  Hanno Wupper,et al.  What is the method in applying formal methods to PLC applications , 2000 .

[22]  Frank W. Zok,et al.  Critical interlayer thickness for transient liquid phase bonding in the Cu–Sn system , 2004 .

[23]  Alexander Fay.  A knowledge-based system to translate control system applications , 2003 .

[24]  Toni T. Mattila,et al.  Interfacial Compatibility in Microelectronics , 2012 .

[25]  Valeriy Vyatkin,et al.  Redesign Distributed PLC Control Systems Using IEC 61499 Function Blocks , 2012, IEEE Transactions on Automation Science and Engineering.

[26]  Kaiying Wang,et al.  Wafer-Level Cu/Sn to Cu/Sn SLID-Bonded Interconnects With Increased Strength , 2011, IEEE Transactions on Components, Packaging and Manufacturing Technology.

[27]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[28]  Goran Cengic,et al.  On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics , 2010, IEEE Transactions on Industrial Informatics.

[29]  V. Vyatkin,et al.  On comparisons of the ISaGRAF implementation of IEC 61499 with FBDK and other implementations , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[30]  Tanvir Hussain,et al.  Migration of a PLC Controller to an IEC 61499 Compliant Distributed Control System: Hands-on Experiences , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[31]  Bernhard Wagner,et al.  Low temperature transient liquid phase bonding of Au/Sn and Cu/Sn electroplated material systems for MEMS wafer-level packaging , 2012, Microsystem Technologies.

[32]  M. Esashi,et al.  Wafer level packaging of MEMS , 2008, TRANSDUCERS 2009 - 2009 International Solid-State Sensors, Actuators and Microsystems Conference.

[33]  Veikko Lindroos,et al.  Handbook of Silicon Based MEMS Materials and Technologies , 2020 .

[34]  Robert W. Brennan,et al.  Application-Oriented Intelligent Middleware for Distributed Sensing and Control , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).