Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems
Files
Date
2023-01-03
Authors
Contributor
Advisor
Department
Instructor
Depositor
Speaker
Researcher
Consultant
Interviewer
Narrator
Transcriber
Annotator
Journal Title
Journal ISSN
Volume Title
Publisher
Volume
Number/Issue
Starting Page
6778
Ending Page
Alternative Title
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.
Description
Keywords
Digital Twins: Platforms, Methods, Applications, and Impact, autonomous systems, digital twin, safety critical systems, software engineering, synthesis
Citation
Extent
10
Format
Geographic Location
Time Period
Related To
Proceedings of the 56th Hawaii International Conference on System Sciences
Related To (URI)
Table of Contents
Rights
Attribution-NonCommercial-NoDerivatives 4.0 International
Rights Holder
Local Contexts
Email libraryada-l@lists.hawaii.edu if you need this content in ADA-compliant format.