Abstract
Digital twins make use of numerous models during to design, deployment, operations and maintain Cyber-Physical systems and have received significant uptake in industry and academia. However, the engineering of digital twins themselves is a difficult task that has attracted more attention in the last years. This short paper introduces the ISoLA 2024 series of papers on the engineering of digital twins, with a focus on the connection to data-driven approaches, interoperability and adaptation to changes at runtime.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Alfalouji, Q., et al.: Co-simulation for buildings and smart energy systems - a taxonomic review. Simul. Model. Pract. Theory 126, 102770 (2023)
Ali, S., Arcaini, P., Arrieta, A.: Foundation models for the digital twin creation of cyber-physical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15223, pp. 9–26. Springer, Cham (2024)
David, I., Shao, G., Gomes, C.A.G., Tilbury, D., Zarkout, B.: Interoperability of digital twins: challenges, success factors, and future re- search directions. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15223, pp. 27–46. Springer, Cham (2024)
Degeler, V., et al.: DiTEC: Digital twin for evolutionary changes in water distribution networks. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15223, pp. 62–82. Springer, Cham (2024) (2024)
Fitzgerald, J., Gomes, C., Larsen, P.G.: The Engineering of Digital Twins. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-66719-0
Fitzgerald, J., Larsen, P.G., Margaria, T., Woodcock, J.: Engineering of digital twins for cyber-physical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12479, pp. 49–53. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-83723-5_4
Fitzgerald, J.S., Larsen, P.G., Margaria, T., Woodcock, J., Gomes, C.: Engineering of digital twins for cyber-physical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 3–8. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-19762-8_1
Gil, S., Mikkelsen, P.H., Gomes, C., Larsen, P.G.: Survey on open-source digital twin frameworks-a case study approach. Softw. Pract. Exp. 54(6), 929–960 (2024)
Hansen, S.T., Kamburjan, E., Kazemi, Z.: Monitoring reconfigurable simulation scenarios in co-simulated digital twins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15223, pp. 47–61. Springer, Cham (2024)
Hansen, S.T., Gomes, C., Kazemi, Z.: Synthesizing orchestration algorithms for FMI 3.0. In: Blas, M.J., Alvarez, G. (eds.) Annual Modeling and Simulation Conference, ANNSIM 2023, Hamilton, ON, Canada, 23–26 May 2023, pp. 184–195. IEEE (2023). https://ieeexplore.ieee.org/document/10155361
Hristov, P.O., Petrova-Antonova, D., Ilieva, S., Rizov, R.: Enabling city digital twins through urban living labs. Int. Arch. Photogrammetry Remote Sens. Spatial Inf. Sci. XLIII-B1-2022, 151–156 (2022). https://doi.org/10.5194/isprs-archives-XLIII-B1-2022-151-2022. https://isprs-archives.copernicus.org/articles/XLIII-B1-2022/151/2022/
Khajavi, S.H., Motlagh, N.H., Jaribion, A., Werner, L.C., Holmström, J.: Digital twin: vision, benefits, boundaries, and creation for buildings. IEEE Access 7, 147406–147419 (2019). https://doi.org/10.1109/ACCESS.2019.2946515
Khan, S., Arslan, T., Ratnarajah, T.: Digital twin perspective of fourth industrial and healthcare revolution. IEEE Access 10, 25732–25754 (2022). https://doi.org/10.1109/ACCESS.2022.3156062
Kritzinger, W., Karner, M., Traar, G., Henjes, J., Sihn, W.: Digital Twin in manufacturing: a categorical literature review and classification. IFAC 51, 1016–1022 (2018). https://doi.org/10.1016/j.ifacol.2018.08.474
Larsen, P.G., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: CPS Data, pp. 1–6. IEEE Computer Society (2016)
Leucker, M., Sachenbacher, M., Vosteen, L.B.: Digital twin for rescue missions - a case study. In: Hallerstede, S., Kamburjan, E. (eds.) Proceedings of the Workshop on Applications of Formal Methods and Digital Twins Co-Located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, 06 March 2023. CEUR Workshop Proceedings, vol. 3507. CEUR-WS.org (2023). https://ceur-ws.org/Vol-3507/paper4.pdf
Maddikunta, P.K.R., et al.: Industry 5.0: a survey on enabling technologies and potential applications. J. Ind. Inf. Integr. 26, 100257 (2022). https://doi.org/10.1016/J.JII.2021.100257
Modrakowski, E., Rahenbrock, N., Möhlmann, E., Schlender, H.: Small scale, big impact: experiences from a miniature ViL testbed and digital twin development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2024. LNCS, vol. 15223, pp. 83–106. Springer, Cham (2024)
Mohammadi, N., Taylor, J.E.: Smart city digital twins. In: 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, 27 November–1 December, 2017, pp. 1–5. IEEE (2017). https://doi.org/10.1109/SSCI.2017.8285439
Speicher, T.L., DeFranco, J.F.: Industry 4.0 and digital twins. Computer 56(06), 84–88 (2023). https://doi.org/10.1109/MC.2023.3243450
Talasila, P., Gomes, C., Mikkelsen, P.H., Arboleda, S.G., Kamburjan, E., Larsen, P.G.: Digital twin as a service (DTaaS): a platform for digital twin developers and users. CoRR abs/2305.07244 (2023). https://doi.org/10.48550/ARXIV.2305.07244
Wang, Y., Su, Z., Guo, S., Dai, M., Luan, T.H., Liu, Y.: A survey on digital twins: architecture, enabling technologies, security and privacy, and future prospects. IEEE Internet Things J. 10(17), 14965–14987 (2023). https://doi.org/10.1109/JIOT.2023.3263909
Wright, T., Gomes, C., Woodcock, J.: Formally verified self-adaptation of an incubator digital twin. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022, LNCS, vol. 13704, pp. 89–109. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-19762-8_7
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Fitzgerald, J., Gomes, C., Johnsen, E.B., Kamburjan, E., Leucker, M., Woodcock, J. (2025). Digital Twin Engineering. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Application Areas. ISoLA 2024. Lecture Notes in Computer Science, vol 15223. Springer, Cham. https://doi.org/10.1007/978-3-031-75390-9_1
Download citation
DOI: https://doi.org/10.1007/978-3-031-75390-9_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-75389-3
Online ISBN: 978-3-031-75390-9
eBook Packages: Computer ScienceComputer Science (R0)