Migration From PLC to IEC 61499 Using Semantic Web Technologies

• Published in: IEEE transactions on systems, man, and cybernetics. Systems Vol. 44; no. 3; pp. 277 - 291
• Main Authors: Wenbin Dai, Dubinin, Victor N., Vyatkin, Valeriy
• Format: Journal Article
• Language: English
• Published: New York IEEE 01-03-2014; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Baggage handling; Code generation and IEC 61131-3 formal execution model; Dependable Communication and Computation Systems; execution semantics; IEC 61131-3 PLC; IEC 61499 function blocks; IEC standards; Knowledge based systems; Kommunikations- och beräkningssystem; Mapping; Mathematical models; Migration; Ontologies; Ontology; ontology (OWL); ontology mapping; Product introduction; Rule based; Semantic Web; Semantics; Transformations; XML
• ISSN: 2168-2216; 2168-2232; 2168-2232
• DOI: 10.1109/TSMCC.2013.2264671

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.