Location
Online
Event Website
https://hicss.hawaii.edu/
Start Date
3-1-2023 12:00 AM
End Date
7-1-2023 12:00 AM
Description
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.
Recommended Citation
Henkler, Stefan and Hirsch, Martin, "Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems" (2023). Hawaii International Conference on System Sciences 2023 (HICSS-56). 5.
https://aisel.aisnet.org/hicss-56/st/digital_twins/5
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems
Online
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.
https://aisel.aisnet.org/hicss-56/st/digital_twins/5