Methodology and Tool Support for Effective Digital Twining

Project 3 aims to develop methods and tools for the efficient creation of digital twins using model-driven software development techniques based on combining, managing, integrating and executing heterogeneous models from various engineering disciplines.

Challenges

The scientific challenge taken on in Project 3 is how to create models that are verifiable and provide specification guarantees of the integration of digital twin software components.

From the state of the art, we can observe that this main challenge can be broken down into two scientific sub-challenges. The two sub-challenges that will be addressed in Project 3 are:

  1.  The efficient creation of digital twins using model-driven software engineering (MDSE) techniques, thus creating dedicated digital twin models, by modelling components and interactions (exchange of data) of the components of the digital twin, where the components are the individual (heterogeneous) models, and generating the digital twins using MDSE techniques.
  2. To ensure consistency between heterogeneous models, that describe for instance physical properties, as well as early identification of inconsistencies in order to ensure a trustworthy digital twin.
People on Project 3

Project Leader: Prof. Dr. Mark van den Brand

Principal Investigators:

3.1 Digital Twin Model Consistency

Hossain Muhammad Muctadir, PDEng.

Hossain is a PhD candidate in the Digital Twin project. He is working with the Software Engineering and Technology (SET) group at the Department of Mathematics and Computer Science of Eindhoven University of Technology. His work focuses on the developement of methodologies and related tools for discovering as well as managing consistency relations among cross domain engineering models.

 

 

 

 

 

3.2 Digital twin orchestration

Ir. David Manrique

This project aims to design a framework to integrate the heterogeneous models which supports the encapsulation of the DT models, exchange of data between the models and feed the models with real-life data. And to design a domain-specific language (DSL) for DT to describe the configuration and properties of DT. The DSL will wrap and connect the models, also it will provide mechanisms for executing or simulating the DT.

 

 

 

 

 

3.3 Digital Twin Dynamic Consistency

Ir. Raghavendran Gunasekaran

In order to ensure a seamless execution of digital twins, functional properties such as absence of deadlocks and livelocks, quantitative dynamic properties such as overall model execution speed and erratic execution times of individual model components, other standard desirable properties such as model throughput and tailor-made properties based on user specifications needs to be validated. In this study, we aim to design and execute a complete methodology and appropriate tooling for model checking and validation of the aforementioned properties and a proof-of-concept encompassing the different industrial digital twin cases.

Involved Partners