Ontology-based design recovery and migration between IEC 61499 - compliant tools

This paper proposes a new method of semantic design recovery of automation applications, with source code used to generate ontological semantic model of IEC 61499 application. The model can be used for automatic semantic analysis of the system and automatic code generation for various IEC 61499 tools. This method creates a foundation for correct-by-design development tools and automatic migration between different tools. The semantic enrichment and analysis are fulfilled via ontology reasoning and query. This complete design loop is implemented in a software tool including code capture engine, semantic analyzer and code generation engine with the pre-defined IEC 61499 ontology model. The method is demonstrated on a simple control system case study.