Engineering Digital Twins with Statecharts: A Smart Home ApplicationExemplar
This program is tentative and subject to change.
This paper presents a model-driven approach for the design and development of digital twins. Our work leverages statecharts for behaviour modelling and for synthesizing application code to be deployed on both the physical twin (PT) and digital twin (DT). This ensures consistency between physical and digital entities and enables real-time synchronization and coordinated control. A real-time cloud database integrated with the models facilitates bidirectional communication, while user interfaces, such as a dashboard and mobile app, support monitoring, analysis and control. We demonstrate our approach with a smart home application consisting of a smart hub of lights, a garage door controller, and a fire alarm system, all coordinated through a central smart home hub. The smart home DT supports simulation, reasoning, and run-time adaptation.
This program is tentative and subject to change.
Tue 7 OctDisplayed 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 20mPaper | TwinLang – A Digital Twin Modeling and Management LanguageRegular Technical Track Martin Leucker University of Lübeck, Daniel Thoma University of Lübeck, Lars B. Vosteen University of Lübeck | ||
08:55 20mTalk | Twin2Clouds: Cost-Aware Digital Twin Engineering and Deployment Across Federated CloudsRegular 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 15mPaper | Probabilistic Update Scheduling for Digital Twins: A Semi-Markov ApproachVision Technical Track Mikkel Schmidt Andersen , Claudio Gomes Aarhus University, Denmark, Peter Gorm Larsen Aarhus University, Sophia Thompson Aarhus University | ||
09:30 15mFull-paper | Engineering Digital Twins with Statecharts: A Smart Home ApplicationExemplar 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 15mPaper | Engineering a Digital Twin for the Monitoring and Control of Beer Fermentation SamplingExemplar 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 |