[Back]

M. Steinegger, M. Melik-Merkumians, G. Schitter:
"Ontology-based Framework for the Generation of Interlock Code with Redundancy Elimination";
Talk: 22nd IEEE International Conference on Emerging Technologies And Factory Automation, Limassol, Zypern; 09-13-2017 - 09-15-2017; in: "Proceedings on 22nd IEEE International Conference on Emerging Technologies And Factory Automation", (2017), 5 pages.

In this paper, a framework for the automatic generation
of redundancy-free interlock code is proposed. The core
component is represented by an ontology-based integration framework
that holds the relevant information from a developed piping
and instrumentation diagram (P&ID) editor as well as the PLC
program where the interlocks should be added. The integration
framework is mainly based on AutomationML concepts as glue
model between the different internal models of the P&ID editor
and the PLC programming tool. In order to enable the coexistence
of manual and automatically generated interlocking
code, the approach is extended by additionally applying a theorem
prover. Here, the theorem prover Z3 is utilized to eliminate
redundant interlock logic whereas the redundancy-free logic is
then automatically added as interlock code to the IEC 61131-3
compliant program. The framework is evaluated by application
to a laboratory process plant.

Interlock, Redundancy, Ontology, Z3

http://dx.doi.org/10.1109/ETFA.2017.8247710

https://publik.tuwien.ac.at/files/publik_262913.pdf