ID:
publications-5379
Type:
Conference paper
Year:
2021
Authors:
Saratha S.D.C.; Grimm C.; Wawrzik F.
Title:
A digital twin with runtime-verification for industrial development-operation integration
Venue/Journal:
2021 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2021 - Proceedings
DOI:
10.1109/ICE/ITMC52061.2021.9570222
Research type:
Water System:
Technical Focus:
Abstract:
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. Β© 2021 IEEE.
Link with Projects:
Link with Tools:
Related policies:
ID:
