Engineering of digital twins for cyber-physical systems
chapter
posted on 2024-03-11, 11:47 authored by John Fitzgerald, Peter Gorm Larsen, Tiziana MargariaTiziana Margaria, Jim WoodcockAdvances in sensing, communications and data analytics have made it possible to construct virtual replicas of Cyber-Physical Systems (CPSs). Such replicas, known as digital twins, can in principle inform decision making during operation and evolution of the systems they model. This short paper introduces the ISoLA 2020/21 series of papers on the technology and practice of engineering digital twins for CPSs. The focus is on the relationship between model-based design, machine learning, digital twins and CPSs.
Funding
DIGITAL INNOVATION HUBS AND COLLABORATIVE PLATFORM FOR CYBER-PHYSICAL SYSTEMS
European Commission
Find out more...Digital twins bringing agility and innovation to manufacturing SMEs, by empowering a network of DIHs with an integrated digital platform that enables Manufacturing as a Service (MaaS)
European Commission
Find out more...History
Publication
Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends. ISoLA 2020. Lecture Notes in Computer Science, 12479Publisher
SpringerRights
This version of the article has been accepted for publication, after peer review and is subject to Springer Nature’s AM terms of use, but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at: https://doi.org/10.1007/978-3-030-83723-5_4Also affiliated with
- LERO - The Science Foundation Ireland Research Centre for Software
Sustainable development goals
- (4) Quality Education
External identifier
Department or School
- Computer Science & Information Systems
