dc.contributor.author | Kamburjan, Eduard | |
dc.contributor.author | Din, Crystal Chang | |
dc.contributor.author | Schlatte, Rudolf | |
dc.contributor.author | Tapia Tarifa, Silvia Lizeth | |
dc.contributor.author | Johnsen, Einar Broch | |
dc.date.accessioned | 2023-02-16T09:25:37Z | |
dc.date.available | 2023-02-16T09:25:37Z | |
dc.date.created | 2022-10-31T14:52:10Z | |
dc.date.issued | 2022 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | https://hdl.handle.net/11250/3051371 | |
dc.description.abstract | Digital twin applications use digital artefacts to twin physical systems. The purpose is to continuously mirror the structure and behavior of the physical system, such that users can analyse the physical system by means of the digital twin. However, the physical system might change over time. In this case, the digital twin’s ensemble of digital artefacts needs to be reconfigured to correctly twin the physical system again. This paper considers a digital twin infrastructure combining MAPE-K feedback loops and semantic reflection to automatically ensure that the digital artefacts correctly twin the physical system; i.e., the resulting system is twinned-by-construction. We consider the monitoring of both structural and temporal correctness properties for digital twin, including the time delay required by reconfiguration, and the capture of execution traces to reflect digital threads in the digital twin framework. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Springer | en_US |
dc.title | Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins | en_US |
dc.type | Journal article | en_US |
dc.type | Peer reviewed | en_US |
dc.description.version | acceptedVersion | en_US |
dc.rights.holder | Copyright 2022 the authors | en_US |
cristin.ispublished | true | |
cristin.fulltext | postprint | |
cristin.qualitycode | 1 | |
dc.identifier.doi | 10.1007/978-3-031-19849-6_12 | |
dc.identifier.cristin | 2066938 | |
dc.source.journal | Lecture Notes in Computer Science (LNCS) | en_US |
dc.source.pagenumber | 188-204 | en_US |
dc.relation.project | Norges forskningsråd: 294600 | en_US |
dc.relation.project | Norges forskningsråd: 237898 | en_US |
dc.relation.project | Norges forskningsråd: 274515 | en_US |
dc.identifier.citation | Lecture Notes in Computer Science (LNCS). 2022, 13701, 188-204. | en_US |
dc.source.volume | 13701 | en_US |