EDTconf 2025
Mon 6 - Tue 7 October 2025 Grand Rapids, Michigan, United States
co-located with MODELS 2025

This program is tentative and subject to change.

Digital Twin-enabled Systems (DTeS) are increasingly relevant in practice, particularly in the context of large, complex, and long-lived industrial facilities, buildings, and infrastructure. These systems are typically composed by orchestrating existing assets using a wide range of technologies and artifacts originating from diverse engineering disciplines. Due to continuous adaptation and evolution of the underlying systems, DTeS are subject to significant change over time, making both their development and long-term maintenance highly challenging.

This paper presents TwinLang, a domain-specific language (DSL) designed to support the modeling and management of DTeS throughout their lifecycle. In TwinLang, Digital Twins can be modeled as code, enabling abstraction, reusability, and integration with software engineering workflows. The DSL supports model transformations as a central concept, which enables refinement from abstract representations to concrete implementations. These transformations also facilitate the projection of models into different views, supporting tasks such as deployment, monitoring, and visualisation.

TwinLang is realised as an internal DSL in Scala, leveraging the language’s expressiveness and strong type system. To illustrate and evaluate our approach, we present the development of a Digital Twin for our AI Lab as a concrete use case.

This program is tentative and subject to change.

Tue 7 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:35 - 10:00
Session 5: Architecture, Deployment, and Performance EngineeringTechnical Track at DCIH 102

In-person

08:35
20m
Paper
TwinLang – A Digital Twin Modeling and Management LanguageRegularIn Person
Technical Track
Martin Leucker University of Lübeck, Daniel Thoma University of Lübeck, Lars B. Vosteen University of Lübeck
08:55
20m
Talk
Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated CloudsRegularIn Person
Technical Track
Philipp Gritsch University of Innsbruck, Deniz Pierer University of Innsbruck, Luca Berardinelli Johannes Kepler University Linz, Michael Felderer German Aerospace Center (DLR) & University of Cologne, Sashko Ristov University of Innsbruck
09:15
15m
Paper
Probabilistic Update Scheduling for Digital Twins: A Semi-Markov ApproachVisionIn Person
Technical Track
Mikkel Schmidt Andersen , Claudio Gomes Aarhus University, Denmark, Peter Gorm Larsen Aarhus University, Sophia Thompson Aarhus University
09:30
15m
Full-paper
Engineering Digital Twins with Statecharts: A Smart Home ApplicationExemplarIn Person
Technical Track
Sahil Salma Toronto Metropolitan University, Zenan Zha Toronto Metropolitan University, Toronto, Canada, Protik Mukherjee Toronto Metropolitan University, Sadaf Mustafiz Toronto Metropolitan University
09:45
15m
Paper
Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation SamplingExemplarIn Person
Technical Track
Pierre-Emmanuel Goffi École Polytechnique de Montréal, Raphaël Tremblay École Polytechnique de Montréal, Bentley Oakes Polytechnique Montréal
Pre-print