Skip to main content
SpringerLink
Log in

Engineering of Digital Twins for Cyber-Physical Systems

  • Conference paper
  • First Online:
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends (ISoLA 2020)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12479))

Included in the following conference series:

Abstract

Advances 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://tinyurl.com/y5wkfewe.

References

  1. Foldager, F.F., Thule, C., Balling, O., Larsen, P.G.: Towards a digital twin - modelling an agricultural vehicle. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 109–123. Springer, Cham (2021)

    Google Scholar 

  2. Kamburjan, E., Schlatte, R., Johnsen, E.B., Tarifa, S.L.T.: Designing distributed control with hybrid active objects. Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 88–108. Springer, Cham (2021)

    Google Scholar 

  3. Lecomte, T.: Digital modelling in the railways. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 124–139. Springer, Cham (2021)

    Google Scholar 

  4. Li, B., Neilsen, R.O., Johnasen, K.W., Teizer, J., Larsen, P.G., Schultz, C.: Towards digital twins for knowledge-driven construction progress and predictive safety analysis on a construction site. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 153–174. Springer, Cham (2021)

    Google Scholar 

  5. Matei, A., Tocu, N.A., Zamfirescu, C.B., Gellert, A., Neghină, M.: Engineering a digital twin for manual assembling. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 140–152. Springer, Cham (2021)

    Google Scholar 

  6. Woodcock, J., Gomes, C., Macedo, H.D., Larsen, P.G.: Uncertainty quantification and runtime monitoring using environment-aware digital twins. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 72–87. Springer, Cham (2021)

    Google Scholar 

  7. Yue, T., Arcaini, P., Ali, S.: Understanding digital twins for cyber-physical systems: a conceptual model. In: Margaria, T., Steffen, B. (eds.) ISoLA 2020, Part IV. LNCS, vol. 12479, pp. 54–71. Springer, Cham (2021)

    Google Scholar 

Download references

Acknowledgements

We acknowledge the support of the Poul Due Jensen Foundation for research towards the engineering of digital twins; the European Union’s funding of HUBCAP (Grant Agreement 872698) and DIGITbrain (Grant Agreement 952071); the Innovation Foundation Denmark for funding MADE FAST; AgroRobottiFleet and ITEA3 for funding the UPSIM project (19006).

Author information

Authors and Affiliations

  1. School of Computing, Newcastle University, Newcastle upon Tyne, UK

    John Fitzgerald

  2. DIGIT, Department of Electrical and Computer Engineering, Aarhus University, Aarhus, Denmark

    Peter Gorm Larsen & Jim Woodcock

  3. University of Limerick and Lero, Limerick, Ireland

    Tiziana Margaria

  4. Department of Computer Science, University of York, York, UK

    Jim Woodcock

Authors
  1. John Fitzgerald
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Gorm Larsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tiziana Margaria
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jim Woodcock
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John Fitzgerald .

Editor information

Editors and Affiliations

  1. University of Limerick and Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Fitzgerald, J., Larsen, P.G., Margaria, T., Woodcock, J. (2021). Engineering of Digital Twins for Cyber-Physical Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends. ISoLA 2020. Lecture Notes in Computer Science(), vol 12479. Springer, Cham. https://doi.org/10.1007/978-3-030-83723-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-83723-5_4

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-83722-8

  • Online ISBN: 978-3-030-83723-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation