Title :
Migration From PLC to IEC 61499 Using Semantic Web Technologies
Author :
Wenbin Dai ; Dubinin, Victor N. ; Vyatkin, Valeriy
Author_Institution :
Lulea Univ. of Technol., Lulea, Sweden
Abstract :
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.
Keywords :
IEC standards; ontologies (artificial intelligence); program compilers; programmable controllers; semantic Web; IEC 61131-3 standard; IEC 61499; PLC ontology model; airport baggage handling system; automatic migration; code generation; correct-by-design development tools; cyclical execution model; execution model restoration; formal model; function block model; migration process; ontological knowledge base; ontology mappings; programmable logic controllers; programs scheduling; semantic Web technologies; semantic query-enhanced Web rule language; variables mapping; IEC standards; Knowledge based systems; Ontologies; Semantic Web; Semantics; XML; Code generation and IEC 61131-3 formal execution model; IEC 61131-3 PLC; IEC 61499 function blocks; execution semantics; migration; ontology (OWL); ontology mapping;
Journal_Title :
Systems, Man, and Cybernetics: Systems, IEEE Transactions on
DOI :
10.1109/TSMCC.2013.2264671