INDEED Research Group of Jacobs University together with Fraunhofer IBP and Karlsruhe Institute of Technology published an article in an engineering interdisciplinary journal “Advanced Engineering Informatics”. The article presents the research on an ontology-based virtual engineering method to develop and manage cyber-physical-systems which usually require simultanous engineering involving heterogenous tools and stakeholders. The article demonstrates the application of the method for automated formal verification of control logic across different control logic types and plant data.
The article can be accessed freely through the following link until February 15th, 2019.
https://www.sciencedirect.com/science/article/pii/S1474034618300740