Lars Vesten successfully defends PhD Thesis at ISP

The Institute for Software Engineering and Programming Languages (ISP) at the University of Lübeck congratulates Lars Vosteen on the successful defense of his PhD thesis titled Engineering Digital Twin-enabled Systems: Requirements Framework, Coordination Language, and Runtime Evolution Architecture. 

In his dissertation, Lars addresses the challenges of engineering Digital Twin-enabled Systems (DTeSs), where digital representations of physical systems must remain synchronized throughout their lifecycle. As these systems integrate heterogeneous models, data sources, and deployment platforms, maintaining consistency between the physical and digital worlds becomes increasingly complex. His research provides a systematic engineering approach that supports the development, deployment, and evolution of Digital Twin-enabled Systems while preserving synchronization over time.

A central contribution of the thesis is the introduction of a lifecycle-oriented requirements framework for DTeSs, together with *TwinLang*, a domain-specific language that enables structured modeling of system components and the automatic generation of deployment and monitoring artifacts. Lars further developed a modular runtime evolution architecture that combines runtime verification with diagnosis techniques to detect and explain synchronization deviations between physical and digital twins. The approach was successfully evaluated in a building-scale laboratory case study, demonstrating reduced integration effort and improved monitoring capabilities.

The successful defense marks an important milestone and reflects Lars’s dedication and valuable contributions to the field of software engineering for cyber-physical and Digital Twin-enabled Systems. The ISP team warmly congratulates him on this achievement and wishes him continued success in his future academic and professional career.