Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems Henkler, Stefan Hirsch, Martin 2022-12-27T19:23:37Z 2022-12-27T19:23:37Z 2023-01-03
dc.description.abstract The development of Digital Twins is a complex process. The complexity increases with the autonomy and networking of the system under consideration. However, progressive scenarios in the area of smart farming or platooning in road traffic in particular require reliable Digital Twins that can consider safety-critical aspects. Previous approaches do not consider this and are also not suitable due to the often manual construction. We present an approach based on a well-defined contract-based engineering that automatically synthesizes the complex interaction with the system under consideration by preserving safety and liveness properties.
dc.format.extent 10
dc.identifier.doi 10.24251/HICSS.2023.819
dc.identifier.isbn 978-0-9981331-6-4
dc.language.iso eng
dc.relation.ispartof Proceedings of the 56th Hawaii International Conference on System Sciences
dc.rights Attribution-NonCommercial-NoDerivatives 4.0 International
dc.subject Digital Twins: Platforms, Methods, Applications, and Impact
dc.subject autonomous systems
dc.subject digital twin
dc.subject safety critical systems
dc.subject software engineering
dc.subject synthesis
dc.title Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems
dc.type.dcmi text
prism.startingpage 6778
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
564.48 KB
Adobe Portable Document Format