Digital Thread in Smart Manufacturing

Tiziana Margaria; Dirk Pesch; Alan McGibney

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

Digital Thread in Smart Manufacturing

Tiziana Margaria
, Dirk Pesch
, Alan McGibney

School of Computer Science and Information Technology

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

Abstract

The concept of digital twins has emerged from the smart manufacturing space and is now gaining adoption in many other industries beyond manufacturing. A digital twin is a virtual replica of a cyber-physical system that is used to capture the state of the system and to allow reason and decision-making on that state. While there has been much research on this topic, there is less work on the overall lifecycle ecosystem that supports the smooth interoperation of a physical facility (like a machine, a factory or even a supply chain) and its digital components (like data, processes and digital twins), which is called the Digital Thread. The aim of the Digital Thread is the creation of a digital lifecycle ecosystem that links together the data generated throughout a product’s lifecycle and represents the data, processes and communication platform that supports a product and its production at any instance of time.

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	179-183
Number of pages	5
ISBN (Print)	9783031197611
DOIs	https://doi.org/10.1007/978-3-031-19762-8_12
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

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Access to Document

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

Cite this

Margaria, T., Pesch, D., & McGibney, A. (2022). Digital Thread in Smart Manufacturing. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings (pp. 179-183). (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_12

Margaria, Tiziana ; Pesch, Dirk ; McGibney, Alan. / Digital Thread in Smart Manufacturing. 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. 179-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{79c750e1a33144469058268f1155b9eb,

title = "Digital Thread in Smart Manufacturing",

abstract = "The concept of digital twins has emerged from the smart manufacturing space and is now gaining adoption in many other industries beyond manufacturing. A digital twin is a virtual replica of a cyber-physical system that is used to capture the state of the system and to allow reason and decision-making on that state. While there has been much research on this topic, there is less work on the overall lifecycle ecosystem that supports the smooth interoperation of a physical facility (like a machine, a factory or even a supply chain) and its digital components (like data, processes and digital twins), which is called the Digital Thread. The aim of the Digital Thread is the creation of a digital lifecycle ecosystem that links together the data generated throughout a product{\textquoteright}s lifecycle and represents the data, processes and communication platform that supports a product and its production at any instance of time.",

author = "Tiziana Margaria and Dirk Pesch and Alan McGibney",

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\_12",

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 = "179--183",

editor = "Tiziana Margaria and Bernhard Steffen",

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

address = "Germany",

}

Margaria, T, Pesch, D & McGibney, A 2022, Digital Thread in Smart Manufacturing. 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. 179-183, 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_12

Digital Thread in Smart Manufacturing. / Margaria, Tiziana; Pesch, Dirk; McGibney, Alan.
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. 179-183 (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 proceedings › Conference proceeding › peer-review

TY - GEN

T1 - Digital Thread in Smart Manufacturing

AU - Margaria, Tiziana

AU - Pesch, Dirk

AU - McGibney, Alan

PY - 2022

Y1 - 2022

N2 - The concept of digital twins has emerged from the smart manufacturing space and is now gaining adoption in many other industries beyond manufacturing. A digital twin is a virtual replica of a cyber-physical system that is used to capture the state of the system and to allow reason and decision-making on that state. While there has been much research on this topic, there is less work on the overall lifecycle ecosystem that supports the smooth interoperation of a physical facility (like a machine, a factory or even a supply chain) and its digital components (like data, processes and digital twins), which is called the Digital Thread. The aim of the Digital Thread is the creation of a digital lifecycle ecosystem that links together the data generated throughout a product’s lifecycle and represents the data, processes and communication platform that supports a product and its production at any instance of time.

AB - The concept of digital twins has emerged from the smart manufacturing space and is now gaining adoption in many other industries beyond manufacturing. A digital twin is a virtual replica of a cyber-physical system that is used to capture the state of the system and to allow reason and decision-making on that state. While there has been much research on this topic, there is less work on the overall lifecycle ecosystem that supports the smooth interoperation of a physical facility (like a machine, a factory or even a supply chain) and its digital components (like data, processes and digital twins), which is called the Digital Thread. The aim of the Digital Thread is the creation of a digital lifecycle ecosystem that links together the data generated throughout a product’s lifecycle and represents the data, processes and communication platform that supports a product and its production at any instance of time.

UR - https://www.scopus.com/pages/publications/85142686712

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

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

M3 - Conference proceeding

AN - SCOPUS:85142686712

SN - 9783031197611

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

SP - 179

EP - 183

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 - 22 October 2022 through 30 October 2022

ER -

Margaria T, Pesch D, McGibney A. Digital Thread in Smart Manufacturing. 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. 179-183. (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_12

Digital Thread in Smart Manufacturing

Abstract

Publication series

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this