Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems

Simple item page
dc.contributor.authorHenkler, Stefan
dc.contributor.authorHirsch, Martin
dc.date.accessioned2022-12-27T19:23:37Z
dc.date.available2022-12-27T19:23:37Z
dc.date.issued2023-01-03
dc.description.abstractThe 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.extent10
dc.identifier.doi10.24251/HICSS.2023.819
dc.identifier.isbn978-0-9981331-6-4
dc.identifier.other664b1579-b034-49b7-b61c-5bb71d83ad28
dc.identifier.urihttps://hdl.handle.net/10125/103453
dc.language.isoeng
dc.relation.ispartofProceedings of the 56th Hawaii International Conference on System Sciences
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subjectDigital Twins: Platforms, Methods, Applications, and Impact
dc.subjectautonomous systems
dc.subjectdigital twin
dc.subjectsafety critical systems
dc.subjectsoftware engineering
dc.subjectsynthesis
dc.titleContract-based Digital Twin Synthesis for Autonomous Safety Critical Systems
dc.type.dcmitext
prism.startingpage6778

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
0660.pdf
Size:
564.48 KB
Format:
Adobe Portable Document Format
Download

Collections

Digital Twins: Platforms, Methods, Applications, and Impact