Thanks to the advances in information technology, modern industrial systems are becoming increasingly intelligent and autonomous; thus their requirements for, e.g., correctness, availability, reliability, are also increasing. Monitoring, analysis and diagnosis of such industrial systems became pivotal and fueled the
Thanks to the advances in information technology, modern industrial systems are becoming increasingly intelligent and autonomous; thus their requirements for, e.g., correctness, availability, reliability, are also increasing. Monitoring, analysis and diagnosis of such industrial systems became pivotal and fueled the development of virtualization and simulation solutions such as digital twins. In a nutshell, digital twins are virtual representations of actual systems or processes that serve as real-time digital counterparts for, e.g., prediction, analysis, testing, simulation. Developing digital twins is a complex process. On the one hand, it includes developing digital twins at different levels of abstraction of the system to allow one focusing on different relevant aspects (e.g, behavioral, logical, physical). On the other hand, it must ensure the correctness of digital twins with respect to the system specifications and the respective level of abstraction.
Goal
This project addresses the above-mentioned challenges by i) automating the creation of digital twins for the simulation, monitoring and testing of functional and non-functional properties, ii) continuous validating digital twins to meet the required properties and iii) developing a multidomain and automated digital twin toolchain for the verification and validation of complex industrial systems based on digital twins. We foresee that this project will positively impact the efficiency of such systems by reducing their time-to-value and by increasing their final quality.
Duration
09/2024 – 08/2027
Funding
EU Funding – EU-HORIZON-KDT-JU 01140216 P11 & FFG Funding – Forschungsförderungs GmbH
Call 2023 for Digital Technologies, digital technologies, digital and sectoral value chains
FFG Projectnumber 909811
with 28 project partners
Keywords
Digital Twins, Model-Driven Engineering, Model-Based Testing, Smart Systems
Contact
Manuel Wimmer
Luca Berardinelli