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.
No takes yet. Share an insight, caveat, or question.
Saratha et al. (2021) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: