A Digital Twin with Runtime-Verification for Industrial Development-Operation Integration

This paper gives an overview of a data model of a digital twin for industrial development-operation integration (DevOps). The data model structures the models from development and links it with data from operation. The models from development are represented by ontologies that describe the functional decomposition in parts and associated properties. The properties are linked with symbolic reachability information that is created during development. This can be used as a basis for runtime verification. The approach is demonstrated by a water level monitor example.