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

Volume

44

Issue

3

fYear

2014

fDate

41699

Firstpage

277

Lastpage

291

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;

fLanguage

English

Journal_Title

Systems, Man, and Cybernetics: Systems, IEEE Transactions on

Publisher

ieee

ISSN

2168-2216

Type

jour

DOI

10.1109/TSMCC.2013.2264671

Filename

6663744