Using digital twins in the development of complex dependable real-time embedded systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Modelling execution times in complex real-time embedded systems is vital for understanding and predicting tasks’ temporal behaviour, and to improve the system scheduling performance. Previous research mainly relied on worst-case execution time estimations based on formal static analyses that are often pessimistic. The models that resulted are hard to maintain and even harder to validate. In this work, the novel use of Digital Twins provides opportunities to improve this issue and beyond for dependable real-time systems. We aim to establish and contribute to three questions: (i) how to easily model execution times with an adequate level of abstraction, and how to evaluate the quality of that model; (ii) how to identify errors in the models and how to evaluate the impact of errors; and (iii) how to make decisions as to when and how to improve the models. In this paper, we proposed a Digital Twin-based adaptation framework, and demonstrated its use for modelling and refining execution time profiles. Key decisions concerning the quality of the model and its impact on performance are evaluated. Finally, some challenges and key research questions for the formal method community are proposed.
Original languageEnglish
Title of host publicationInternational Symposium on Leveraging Applications of Formal Methods
Number of pages17
ISBN (Print)9783031197611
Publication statusPublished - 17 Oct 2022
EventLeveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium - Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022

Publication series

NameLecture Notes in Computer Science (LNCS)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceLeveraging Applications of Formal Methods, Verification and Validation. Practice
Abbreviated titleISoLA 2022

Bibliographical note

This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Cite this