Engineering of Digital Twins for Cyber-Physical Systems

John Fitzgerald; Peter Gorm Larsen; Tiziana Margaria; Jim Woodcock; Cláudio Gomes

doi:10.1007/978-3-031-19762-8_1

Engineering of Digital Twins for Cyber-Physical Systems

John Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Technologicaladvances in sensing, communications, and data analytics make it possible to construct virtual replicas of Cyber-Physical Systems (CPSs). Such replicas are known as digital twins. They can either make decisions on system updates during operation or provide input to decision-makers for system evolution. This short paper introduces the ISoLA 2022 series of papers on the technology and practice in engineering dependable digital twins for CPSs. The focus is on the relationship between model-based design, machine learning, digital twins and CPSs from different application domains.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	3-8
Number of pages	6
ISBN (Print)	9783031197611
DOIs	https://doi.org/10.1007/978-3-031-19762-8_1
Publication status	Published - 2022
Event	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13704 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Country/Territory	Greece
City	Rhodes
Period	22/10/22 → 30/10/22

Access to Document

10.1007/978-3-031-19762-8_1

Cite this

Fitzgerald, J., Gorm Larsen, P., Margaria, T., Woodcock, J., & Gomes, C. (2022). Engineering of Digital Twins for Cyber-Physical Systems. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings (pp. 3-8). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13704 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-19762-8_1

Fitzgerald, John ; Gorm Larsen, Peter ; Margaria, Tiziana et al. / Engineering of Digital Twins for Cyber-Physical Systems. Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Science and Business Media Deutschland GmbH, 2022. pp. 3-8 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{53d1ebba85b64318a81827a0999f92a9,

title = "Engineering of Digital Twins for Cyber-Physical Systems",

abstract = "Technologicaladvances in sensing, communications, and data analytics make it possible to construct virtual replicas of Cyber-Physical Systems (CPSs). Such replicas are known as digital twins. They can either make decisions on system updates during operation or provide input to decision-makers for system evolution. This short paper introduces the ISoLA 2022 series of papers on the technology and practice in engineering dependable digital twins for CPSs. The focus is on the relationship between model-based design, machine learning, digital twins and CPSs from different application domains.",

author = "John Fitzgerald and {Gorm Larsen}, Peter and Tiziana Margaria and Jim Woodcock and Cl{\'a}udio Gomes",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",

year = "2022",

doi = "10.1007/978-3-031-19762-8_1",

language = "English",

isbn = "9783031197611",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "3--8",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings",

}

Fitzgerald, J, Gorm Larsen, P, Margaria, T, Woodcock, J & Gomes, C 2022, Engineering of Digital Twins for Cyber-Physical Systems. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13704 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 3-8, 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 22/10/22. https://doi.org/10.1007/978-3-031-19762-8_1

Engineering of Digital Twins for Cyber-Physical Systems. / Fitzgerald, John; Gorm Larsen, Peter; Margaria, Tiziana et al.
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Science and Business Media Deutschland GmbH, 2022. p. 3-8 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13704 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Engineering of Digital Twins for Cyber-Physical Systems

AU - Fitzgerald, John

AU - Gorm Larsen, Peter

AU - Margaria, Tiziana

AU - Woodcock, Jim

AU - Gomes, Cláudio

PY - 2022

Y1 - 2022

N2 - Technologicaladvances in sensing, communications, and data analytics make it possible to construct virtual replicas of Cyber-Physical Systems (CPSs). Such replicas are known as digital twins. They can either make decisions on system updates during operation or provide input to decision-makers for system evolution. This short paper introduces the ISoLA 2022 series of papers on the technology and practice in engineering dependable digital twins for CPSs. The focus is on the relationship between model-based design, machine learning, digital twins and CPSs from different application domains.

AB - Technologicaladvances in sensing, communications, and data analytics make it possible to construct virtual replicas of Cyber-Physical Systems (CPSs). Such replicas are known as digital twins. They can either make decisions on system updates during operation or provide input to decision-makers for system evolution. This short paper introduces the ISoLA 2022 series of papers on the technology and practice in engineering dependable digital twins for CPSs. The focus is on the relationship between model-based design, machine learning, digital twins and CPSs from different application domains.

UR - http://www.scopus.com/inward/record.url?scp=85142671158&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-19762-8_1

DO - 10.1007/978-3-031-19762-8_1

M3 - Conference contribution

AN - SCOPUS:85142671158

SN - 9783031197611

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 8

BT - Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Science and Business Media Deutschland GmbH

T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022

Y2 - 14 May 2023 through 20 May 2023

ER -

Fitzgerald J, Gorm Larsen P, Margaria T, Woodcock J, Gomes C. Engineering of Digital Twins for Cyber-Physical Systems. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. Springer Science and Business Media Deutschland GmbH. 2022. p. 3-8. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-19762-8_1

Engineering of Digital Twins for Cyber-Physical Systems

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this