Workshop on Digital Twin Experiences and Model-Based Testing Methods

12 June 2026, Västerås, Sweden
Room Ypsilon

Co-located with the 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026), June 9-12


Digital twins have rapidly emerged as a powerful concept across domains such as manufacturing, healthcare, energy systems, and smart cities. By creating dynamic digital representations of physical systems that are continuously updated with real-world data, digital twins enable new possibilities for monitoring, analysis, prediction, and informed decision-making.

Despite growing interest, key questions remain: What defines a digital twin in practice? How can they be designed and implemented effectively? What data, models, and infrastructures are required? And how can digital twins deliver real value in real-world applications?

This workshop provides a forum to explore these questions through open discussion and knowledge exchange. Rather than focusing on a single perspective, it brings together researchers and practitioners from diverse backgrounds, including software engineering, data science, systems engineering, and industry applications. The aim is to foster dialogue across disciplines and better understand both the opportunities and challenges of digital twin technologies.

Schedule

Session 1
Chair: Mohammad Naeem
Presentation
Authors
09:00-09:30
Toward Model-Driven Digital Twin Configuration: Separating Structure, Semantics, and Runtime with SysML+SAREF+Ditto
Andrey Sadovykh
Matthew Rusakov
Kirill Korikov
09:30-10:00
Toward Digital Twin enabled Validation and Maintenance for Industrial Pharmaceutical Processes
Mirgita Frasheri
Chresten By Larsen
Casper Hansen
Peter Gorm Larsen
10:30-10:55
Coffee break
Session 2
Chair: Tiberiu Seceleanu
Presentation
Authors
10:55-11:25
Toward Federated Cognitive Digital Twins over the
Edge–to-Cloud Continuum
Alessandra Somma
Alessio Bucaioni
11:25-11:55
Leveraging Risk Management via Multidimensional Modelling Metaphors and Big Data Analytics Tools
in Emerging Digital Twin Environments
Alfredo Cuzzocrea
Ismail Benlaredj
12:00-13:30
Lunch
Session 3
Chair: Mohammad Naeem
Presentation
Authors
13:30-14:00
SysML Modeling of Digital Twins for Renewable
Energy Communities
Mohammad Samadi
Luís Miguel Pinho
Andrey Sadovykh
Gabriela Lucas
14:00-14:30
A Unified Verification and Validation Strategy for Refinement-Driven Workflow Models with Dual-Behaviour Components
Yevheniia Yehorova,
Gaadha Sudheerbabu,
Marina Walden,
Dragos Truscan
14:30-15:00
AI Generates, Model-Based Testing Checks
Eduard Paul Enoiu
15:00-
Coffee break

Topics of Interest

The workshop will cover topics including, but not limited to:

  • Architectures and system design
  • Modelling approaches
  • Data integration and interoperability
  • Lifecycle management
  • Verification and validation
  • Scalability and reliability
  • Governance and ethical considerations

In addition to contributions specifically addressing Digital Twin Experiences, the workshop will include selected contributions on generic Model-Based Testing methods. Although these contributions are not necessarily developed for digital twins, the underlying techniques are relevant to the validation, analysis, and testing of digital twin models and digital-twin-based workflows. In particular, methods for automated test generation, model-based test design, AI-supported testing, workflow-based testing, and metamorphic testing can provide useful foundations for testing executable models, simulations, and behavioural abstractions that occur in digital twin settings.

Model-Based Testing Methods with Potential Relevance to Digital Twin Models

Topics may include:

  • Generic model-based testing methods and tools
  • Model-based test generation from behavioural, structural, workflow, or state-based models
  • Testing based on executable models, abstract models, simulation models, or process models
  • AI-assisted model-based testing and test generation
  • Model learning, reverse engineering, and extraction of test models from systems or traces
  • Workflow-based testing and testing of process-oriented systems
  • Metamorphic testing for systems where explicit test oracles are difficult to define
  • Combining model-based testing and metamorphic testing
  • Testing of cyber-physical, embedded, autonomous, or software-intensive systems
  • Industrial experiences and empirical evaluations of generic MBT approaches

Such methods may also be applicable to digital twin models, for example when digital twins are represented as executable models, simulations, workflows, state machines, process models, or behavioural abstractions requiring systematic validation.

In addition to technical discussions, the workshop will highlight emerging research directions and encourage collaboration among participants.

Designed to be highly interactive, the workshop emphasizes discussion, reflection, and sharing of experiences. It aims not only to exchange ideas but also to contribute to the responsible and effective development of digital twin solutions.

Organizers

Muhammad Naeem, Mälardalen University, Sweden (muhammad.naeem@mdu.se)

Tiberiu Seceleanu,, Mälardalen University, Sweden (tiberiu.seceleanu@mdu.se)

Program Committee

  • Alessio Buccaioni (Mälardalen University, Sweden),
  • Alfredo Cuzzocrea (University of Calabria, Italy),
  • Enxhi Ferko (Jotne Connect, Norway),
  • Mirgita Frasheri (Aarhus University, Denmark)

Important Dates

  • Submission Deadline: 03.05.2026
  • Notification: 15.05.2026
  • Duration: Two sessions / full day.