Runtime Verification of Autonomous Systems utilizing Digital Twins as a Service
This program is tentative and subject to change.
Mon 16 Sep 2024 10:30 - 12:00 at Hornungstuen - Tutorial 1 - Session 2
Autonomous Systems (AS) enable systems to adapt to drastic and unprecedented environmental changes, a capability that can be enhanced through the utilization of Digital Twins (DTs). However, the additional capabilities of AS come at the cost of explainability, as the expanding adaptation space complicates the reasoning about the system’s behavior. For certain types of systems, it is crucial to ensure that specific properties are upheld despite the system’s autonomous behavior. To facilitate the monitoring of these properties, we propose the use of Runtime Verification (RV). This tutorial demonstrates the integration of RV tools into the Digital Twins as a Service (DTaaS) platform to monitor and verify the behavior of AS in real-time. By exploring various methods to incorporate RV tools within a DT context, the tutorial aims to advance the application of RV technologies in autonomic computing and self-adaptive system design. Specifically, we demonstrate how the behavior of a self-configuring DT can be verified utilizing RV. This is accomplished through the DTaaS platform, which supports seamless deployment of DT-based AS.
This program is tentative and subject to change.
Mon 16 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:30 90mTutorial | Runtime Verification of Autonomous Systems utilizing Digital Twins as a Service Tutorials Morten Haahr Kristensen Aarhus University, Alberto Bonizzi , Claudio Gomes Aarhus University, Denmark, Simon Thrane Hansen , Carlos Isasa , Hannes Iven , Eduard Kamburjan University of Oslo, Peter Gorm Larsen Aarhus University, Martin Leucker University of Lübeck, Prasad Talasila , Valdemar Tang , Stefano Tonetta Fondazione Bruno Kessler, Italy, Lars B. Vosteen , Thomas Wright |
10:30 - 12:00 | |||
10:30 90mTutorial | Runtime Verification of Autonomous Systems utilizing Digital Twins as a Service Tutorials Morten Haahr Kristensen Aarhus University, Alberto Bonizzi , Claudio Gomes Aarhus University, Denmark, Simon Thrane Hansen , Carlos Isasa , Hannes Iven , Eduard Kamburjan University of Oslo, Peter Gorm Larsen Aarhus University, Martin Leucker University of Lübeck, Prasad Talasila , Valdemar Tang , Stefano Tonetta Fondazione Bruno Kessler, Italy, Lars B. Vosteen , Thomas Wright |