Program

Keynote Speaker: Prof. Joachim Denil (University of Antwerp - FlandersMake, Belgium)

From Validation to Continual Validation: Evolving Digital Twin Systems

Digital twins, digital representations of systems, have become common in solving problems and optimising various systems, e.g., factory scheduling. Simulation models play a crucial role in the decision-making processes of a digital twin. Validation, in simulation model engineering, is checking that a model accurately represents the actual system under design. This is distinct from verification, which is concerned with the proper implementation of the model. 

Simulation validation is done during the system's design phase. However, as systems become operational, change emerges to keep the systems useful. These changes occur for a variety of reasons, e.g., wear and tear, component replacement in the actual system, changes in the operational domain of the system. As the system evolves in its context, so should the twin models. In this keynote, we look at the problem of digital twin evolution and its repercussions on the twin model. 

Bio:  Prof. Dr. Joachim Denil is an associate professor at the University of Antwerp, Faculty of Applied Engineering in Electronics and ICT. His research interests are enabling methods, techniques and tools to design, verify and evolve Cyber-Physical Systems. Specifically, he is interested in the performance modelling and simulation, model-based systems engineering, and verification and validation of models and systems. He serves as an associate editor of the Transaction of the SCS: Simulation. His email address is joachim.denil@uantwerpen.be .

Full-day detailed program (tentative)

9:00 - 10:30 : Session 1: Welcome and Keynote Talk 

• • Workshop opening by Rakshit Mittal and Jens Kosiol

  • Keynote by Prof. Joachim Denil: From Simulation Validation to Continual Simulation Validation: Evolving Digital Twin Systems

10:30 - 11:00 : Coffee Break                    

11:00 - 12:30 : Session 2. Chair: Jens Kosiol

• • Ankit Jha, Rosemary Monahan and Hao Wu
    Verifying UML Models Annotated with OCL Strings (virtual presentation)

  • Kevin Lano and Hanan Siala
    Using OCL for verified re-engineering (virtual presentation)

  • Bernhard Rumpe, Max Stachon, Sebastian Stüber and Valdes Voufo
    Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL

12:30 - 14:00 : Lunch Break

14:00 - 15:30 : Session 3. Chair: Mira Balaban

• • Andreas Waldvogel and Bjoern Annighoefer
    Model-based Block Diagram Recognition for Model Visualization Verification

  • Léna Bamouh and Erwan Bousse
    Towards Model-Driven Test Case Concretization for End-to-end Combinatorial Testing

  • Frederik Reiche, Thomas Weber, Simeon Becker, Sebastian Weber, Robert Heinrich and Erik Burger
    Consistency Management for Security Annotations for Continuous Verification

15:30 - 16:00 : Coffee Break

16:00 - 17:30 : Session 4. Chair: Jens Kosiol

• • Vince Molnár, Bence Graics, András Vörös, Stefano Tonetta, Luca Cristoforetti, Greg Kimberly, Pamela Dyer, Kristin Giammarco, Manfred Koethe, John Hester, Jamie Smith and Christoph Grimm
    Towards the Formal Verification of SysML v2 Models

  • Burak Karaduman, Baris Tekin Tezel and Moharram Challenger
    Static Analysis of BDI Agents on CPS using Petri Nets and MDE Techniques

  • Discussion and wrap-up