{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T11:39:10Z","timestamp":1776253150693,"version":"3.50.1"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031753893","type":"print"},{"value":"9783031753909","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75390-9_2","type":"book-chapter","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:02:40Z","timestamp":1729882960000},"page":"9-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Foundation Models for\u00a0the\u00a0Digital Twins Creation of\u00a0Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9979-3519","authenticated-orcid":false,"given":"Shaukat","family":"Ali","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6253-4062","authenticated-orcid":false,"given":"Paolo","family":"Arcaini","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7507-5080","authenticated-orcid":false,"given":"Aitor","family":"Arrieta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,26]]},"reference":[{"key":"2_CR1","unstructured":"ALIGN Website (2024). https:\/\/huggingface.co\/docs\/transformers\/en\/model_doc\/align. Accessed 6 May 2024"},{"key":"2_CR2","unstructured":"Fuyu-8B (2024). https:\/\/huggingface.co\/adept\/fuyu-8b. Accessed 6 May 2024"},{"key":"2_CR3","unstructured":"Landing AI Website (2024). https:\/\/landing.ai\/platform. Accessed 6 May 2024"},{"key":"2_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.dajour.2023.100165","volume":"6","author":"M Attaran","year":"2023","unstructured":"Attaran, M., Celik, B.G.: Digital twin: benefits, use cases, challenges, and opportunities. Decis. Anal. J. 6, 100165 (2023). https:\/\/doi.org\/10.1016\/j.dajour.2023.100165","journal-title":"Decis. Anal. J."},{"key":"2_CR5","unstructured":"Bommasani, R., et\u00a0al.: On the opportunities and risks of foundation models. CoRR abs\/2108.07258 (2021)"},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"C\u00e1mara, J., Troya, J., Burgue\u00f1o, L., Vallecillo, A.: On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. Softw. Syst. Model. 22(3), 781\u2013793 (2023). https:\/\/doi.org\/10.1007\/s10270-023-01105-5","DOI":"10.1007\/s10270-023-01105-5"},{"key":"2_CR7","doi-asserted-by":"publisher","unstructured":"Chen, Q., Wang, T., Lu, C., Yue, T., Ali, S.: Enhancing the realism of autonomous driving simulation with real-time co-simulation. In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2022, pp. 659\u2013667. Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3550356.3561558","DOI":"10.1145\/3550356.3561558"},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Cui, C., Yang, Z., Zhou, Y., Ma, Y., Lu, J., Wang, Z.: Large language models for autonomous driving: real-world experiments. CoRR abs\/2312.09397 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2312.09397","DOI":"10.48550\/ARXIV.2312.09397"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Deng, S., et al.: A systematic review on the current research of digital twin in automotive application. Internet Things Cyber-Phys. Syst. 3, 180\u2013191 (2023). https:\/\/doi.org\/10.1016\/j.iotcps.2023.04.004","DOI":"10.1016\/j.iotcps.2023.04.004"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-030-25312-7_14","volume-title":"Security and Quality in Cyber-Physical Systems Engineering","author":"M Eckhart","year":"2019","unstructured":"Eckhart, M., Ekelhart, A.: Digital twins for cyber-physical systems security: state of the art and outlook. In: Security and Quality in Cyber-Physical Systems Engineering, pp. 383\u2013412. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25312-7_14"},{"key":"2_CR11","doi-asserted-by":"publisher","unstructured":"Ferrari, A., Abualhaija, S., Arora, C.: Model generation from requirements with LLMs: an exploratory study. CoRR abs\/2404.06371 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2404.06371","DOI":"10.48550\/ARXIV.2404.06371"},{"key":"2_CR12","doi-asserted-by":"publisher","unstructured":"Fett, M., Wilking, F., Goetz, S., Kirchner, E., Wartzack, S.: A literature review on the development and creation of digital twins, cyber-physical systems, and product-service systems. Sensors 23(24) (2023). https:\/\/doi.org\/10.3390\/s23249786","DOI":"10.3390\/s23249786"},{"key":"2_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-031-19762-8_1","volume-title":"ISoLA 2022","author":"J Fitzgerald","year":"2022","unstructured":"Fitzgerald, J., Gorm Larsen, P., 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\u20138. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19762-8_1"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-030-30985-5_4","volume-title":"From Software Engineering to Formal Methods and Tools, and Back","author":"J Fitzgerald","year":"2019","unstructured":"Fitzgerald, J., Larsen, P.G., Pierce, K.: Multi-modelling and co-simulation in the engineering of cyber-physical systems: towards the digital twin. In: ter Beek, M.H., Fantechi, A., Semini, L. (eds.) From Software Engineering to Formal Methods and Tools, and Back. LNCS, vol. 11865, pp. 40\u201355. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30985-5_4"},{"key":"2_CR15","doi-asserted-by":"publisher","unstructured":"Han, L., Ali, S., Yue, T., Arrieta, A., Arratibel, M.: Uncertainty-aware robustness assessment of industrial elevator systems. ACM Trans. Softw. Eng. Methodol. 32(4) (2023). https:\/\/doi.org\/10.1145\/3576041","DOI":"10.1145\/3576041"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Huang, L., et al.: A survey on hallucination in large language models: principles, taxonomy, challenges, and open questions. CoRR abs\/2311.05232 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2311.05232","DOI":"10.48550\/ARXIV.2311.05232"},{"key":"2_CR17","doi-asserted-by":"publisher","unstructured":"Huang, Y., Song, J., Wang, Z., Chen, H., Ma, L.: Look before you leap: an exploratory study of uncertainty measurement for large language models. CoRR abs\/2307.10236 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2307.10236","DOI":"10.48550\/ARXIV.2307.10236"},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"Jin, M., et al.: Health-LLM: personalized retrieval-augmented disease prediction system. CoRR abs\/2402.00746 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2402.00746","DOI":"10.48550\/ARXIV.2402.00746"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"Kolides, A., et al.: Artificial intelligence foundation and pre-trained models: fundamentals, applications, opportunities, and social impacts. Simul. Modell. Pract. Theory 126, 102754 (2023). https:\/\/doi.org\/10.1016\/j.simpat.2023.102754","DOI":"10.1016\/j.simpat.2023.102754"},{"issue":"1\u20132","key":"2_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/0600000110","volume":"16","author":"C Li","year":"2024","unstructured":"Li, C., et al.: Multimodal foundation models: from specialists to general-purpose assistants. Found. Trends Comput. Graph. Vis. 16(1\u20132), 1\u2013214 (2024). https:\/\/doi.org\/10.1561\/0600000110","journal-title":"Found. Trends Comput. Graph. Vis."},{"key":"2_CR21","unstructured":"Liu, J., Xia, C.S., Wang, Y., Zhang, L.: Is your code generated by ChatGPT really correct? Rigorous evaluation of large language models for code generation. In: Proceedings of the 37th International Conference on Neural Information Processing Systems, NIPS 2023, Curran Associates Inc., Red Hook, NY, USA (2024)"},{"issue":"4","key":"2_CR22","doi-asserted-by":"publisher","first-page":"2255","DOI":"10.1109\/COMST.2022.3208773","volume":"24","author":"S Mihai","year":"2022","unstructured":"Mihai, S., et al.: Digital twins: a survey on enabling technologies, challenges, trends and future prospects. IEEE Commun. Surv. Tutorials 24(4), 2255\u20132291 (2022). https:\/\/doi.org\/10.1109\/COMST.2022.3208773","journal-title":"IEEE Commun. Surv. Tutorials"},{"issue":"7956","key":"2_CR23","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1038\/s41586-023-05881-4","volume":"616","author":"M Moor","year":"2023","unstructured":"Moor, M., Banerjee, O., Abad, Z.S.H., Krumholz, H.M., Leskovec, J., Topol, E.J., Rajpurkar, P.: Foundation models for generalist medical artificial intelligence. Nature 616(7956), 259\u2013265 (2023). https:\/\/doi.org\/10.1038\/s41586-023-05881-4","journal-title":"Nature"},{"key":"2_CR24","doi-asserted-by":"publisher","unstructured":"Palachi, E., Cohen, C., Takashi, S.: Simulation of cyber physical models using SysML and numerical solvers. In: 2013 IEEE International Systems Conference (SysCon), pp. 671\u2013675, April 2013. https:\/\/doi.org\/10.1109\/SysCon.2013.6549954","DOI":"10.1109\/SysCon.2013.6549954"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Park, J.S., O\u2019Brien, J., Cai, C.J., Morris, M.R., Liang, P., Bernstein, M.S.: Generative agents: interactive simulacra of human behavior. In: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology, pp. 1\u201322 (2023)","DOI":"10.1145\/3586183.3606763"},{"key":"2_CR26","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2023.103987","volume":"151","author":"M Perno","year":"2023","unstructured":"Perno, M., Hvam, L., Haug, A.: A machine learning digital twin approach for critical process parameter prediction in a catalyst manufacturing line. Comput. Ind. 151, 103987 (2023). https:\/\/doi.org\/10.1016\/j.compind.2023.103987","journal-title":"Comput. Ind."},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Puig, X., et al.: VirtualHome: simulating household activities via programs. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 8494\u20138502 (2018)","DOI":"10.1109\/CVPR.2018.00886"},{"key":"2_CR28","unstructured":"Radford, A., et al.: Learning transferable visual models from natural language supervision. In: Meila, M., Zhang, T. (eds.) Proceedings of the 38th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a0139, pp. 8748\u20138763. PMLR, 18\u201324 July 2021. https:\/\/proceedings.mlr.press\/v139\/radford21a.html"},{"key":"2_CR29","doi-asserted-by":"publisher","unstructured":"Rawte, V., Sheth, A.P., Das, A.: A survey of hallucination in large foundation models. CoRR abs\/2309.05922 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2309.05922","DOI":"10.48550\/ARXIV.2309.05922"},{"key":"2_CR30","doi-asserted-by":"publisher","unstructured":"Sartaj, H., Ali, S., Yue, T., Moberg, K.: HITA: an architecture for system-level testing of healthcare IoT applications. CoRR abs\/2309.04223 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2309.04223","DOI":"10.48550\/ARXIV.2309.04223"},{"issue":"2","key":"2_CR31","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/s12599-024-00851-0","volume":"66","author":"J Schneider","year":"2024","unstructured":"Schneider, J., Meske, C., Kuss, P.: Foundation models. Bus. Inf. Syst. Eng. 66(2), 221\u2013231 (2024). https:\/\/doi.org\/10.1007\/s12599-024-00851-0","journal-title":"Bus. Inf. Syst. Eng."},{"key":"2_CR32","doi-asserted-by":"publisher","unstructured":"Tang, S., et al.: A survey on automated driving system testing: landscapes and trends. ACM Trans. Softw. Eng. Methodol. 32(5) (2023). https:\/\/doi.org\/10.1145\/3579642","DOI":"10.1145\/3579642"},{"key":"2_CR33","unstructured":"Tanneru, S.H., Agarwal, C., Lakkaraju, H.: Quantifying uncertainty in natural language explanations of large language models. In: International Conference on Artificial Intelligence and Statistics, pp. 1072\u20131080. PMLR (2024)"},{"key":"2_CR34","doi-asserted-by":"publisher","unstructured":"Wagner, H., Portenl\u00e4nger, L., Zuccaro, C.: Using SysML models as digital twins for early validation of modular systems and systems of systems. In: 2023 18th Annual System of Systems Engineering Conference (SoSe), pp.\u00a01\u20137 (2023). https:\/\/doi.org\/10.1109\/SoSE59841.2023.10178526","DOI":"10.1109\/SoSE59841.2023.10178526"},{"key":"2_CR35","doi-asserted-by":"publisher","unstructured":"Wang, Y., et al.: TWIN-GPT: digital twins for clinical trials via large language model. CoRR abs\/2404.01273 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2404.01273","DOI":"10.48550\/ARXIV.2404.01273"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"1815","DOI":"10.1017\/pds.2022.184","volume":"2","author":"F Wilking","year":"2022","unstructured":"Wilking, F., Sauer, C., Schleich, B., Wartzack, S.: SysML 4 digital twins - utilization of system models for the design and operation of digital twins. Proc. Des. Soc. 2, 1815\u20131824 (2022). https:\/\/doi.org\/10.1017\/pds.2022.184","journal-title":"Proc. Des. Soc."},{"key":"2_CR37","doi-asserted-by":"publisher","unstructured":"Wu, J., Lu, C., Arrieta, A., Yue, T., Ali, S.: Reality bites: assessing the realism of driving scenarios with large language models. In: Proceedings of the 2024 IEEE\/ACM First International Conference on AI Foundation Models and Software Engineering, FORGE 2024, pp. 40\u201351. Association for Computing Machinery, New York, NY, USA (2024). https:\/\/doi.org\/10.1145\/3650105.3652296","DOI":"10.1145\/3650105.3652296"},{"key":"2_CR38","doi-asserted-by":"publisher","unstructured":"Xi, Z., et al.: The rise and potential of large language model based agents: a survey. CoRR abs\/2309.07864 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2309.07864","DOI":"10.48550\/ARXIV.2309.07864"},{"key":"2_CR39","doi-asserted-by":"publisher","unstructured":"Xu, Q., Ali, S., Yue, T.: Digital twin-based anomaly detection in cyber-physical systems. In: 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 205\u2013216 (2021). https:\/\/doi.org\/10.1109\/ICST49551.2021.00031","DOI":"10.1109\/ICST49551.2021.00031"},{"key":"2_CR40","doi-asserted-by":"publisher","unstructured":"Xu, Q., Ali, S., Yue, T.: Digital twin-based anomaly detection with curriculum learning in cyber-physical systems. ACM Trans. Softw. Eng. Methodol. 32(5) (2023). https:\/\/doi.org\/10.1145\/3582571","DOI":"10.1145\/3582571"},{"key":"2_CR41","doi-asserted-by":"publisher","unstructured":"Xu, Q., Ali, S., Yue, T., Arratibel, M.: Uncertainty-aware transfer learning to evolve digital twins for industrial elevators. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2022, pp. 1257\u20131268. Association for Computing Machinery, New York, NY, USA (2022). https:\/\/doi.org\/10.1145\/3540250.3558957","DOI":"10.1145\/3540250.3558957"},{"key":"2_CR42","doi-asserted-by":"publisher","unstructured":"Xu, Q., Ali, S., Yue, T., Nedim, Z., Singh, I.: KDDT: knowledge distillation-empowered digital twin for anomaly detection. In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC\/FSE 2023, pp. 1867\u20131878. Association for Computing Machinery, New York, NY, USA (2023). https:\/\/doi.org\/10.1145\/3611643.3613879","DOI":"10.1145\/3611643.3613879"},{"key":"2_CR43","doi-asserted-by":"publisher","unstructured":"Yang, H., Siew, M., Joe-Wong, C.: An LLM-based digital twin for optimizing human-in-the loop systems. CoRR abs\/2403.16809 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2403.16809","DOI":"10.48550\/ARXIV.2403.16809"},{"key":"2_CR44","series-title":"LNCS","first-page":"9","volume-title":"ISoLA 2022","author":"T Yue","year":"2022","unstructured":"Yue, T., Ali, S., Arcaini, P., Ishikawa, F.: Towards requirements engineering for digital twins of cyber-physical systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13704, pp. 9\u201321. Springer, Cham (2022)"},{"key":"2_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-030-83723-5_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends","author":"T Yue","year":"2021","unstructured":"Yue, T., Arcaini, P., Ali, S.: Understanding digital twins for cyber-physical systems: a conceptual model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020. LNCS, vol. 12479, pp. 54\u201371. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-83723-5_5"},{"key":"2_CR46","doi-asserted-by":"publisher","unstructured":"Zhao, W.X., et al.: A survey of large language models. CoRR abs\/2303.18223 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2303.18223","DOI":"10.48550\/ARXIV.2303.18223"},{"key":"2_CR47","doi-asserted-by":"publisher","unstructured":"Zheng, Z., et al.: A survey of large language models for code: evolution, benchmarking, and future trends. CoRR abs\/2311.10372 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2311.10372","DOI":"10.48550\/ARXIV.2311.10372"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Application Areas"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75390-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T19:08:39Z","timestamp":1729883319000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75390-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,26]]},"ISBN":["9783031753893","9783031753909"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75390-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,26]]},"assertion":[{"value":"26 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}