nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin

verfasst von : John Fitzgerald, Peter Gorm Larsen, Ken Pierce

Erschienen in: From Software Engineering to Formal Methods and Tools, and Back

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Ensuring the dependability of Cyber-Physical Systems (CPSs) poses challenges for model-based engineering, stemming from the semantic heterogeneity of the models of computational, physical and human processes, and from the range of stakeholders involved. We argue that delivering such dependability requires a marriage of multi-disciplinary models developed during design with models derived from real operational data. Assets developed during design thus become the basis of a learning digital twin, able to support decision making both in redesign and in responsive operation. Starting from an open integrated toolchain leveraging formal models for CPS design, we consider the extension of this concept towards digital twins. A small example inspired by agricultural robotics illustrates some of the opportunities for research and innovation in delivering digital twins that contribute to dependability.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Ten Years of Self-adaptive Systems: From Dynamic Ensembles to Collective Adaptive Systems

Nächstes Kapitel Changing Software in a Changing World: How to Test in Presence of Variability, Adaptation and Evolution?

http://fmi-standard.org/.

https://www.ansys.com/products/systems/digital-twin.

https://community.plm.automation.siemens.com/t5/Digital-Twin/ct-p/DigitalTwin.

http://projects.au.dk/into-cps/.

http://www.overturetool.org.

https://www.20sim.com/.

https://new.siemens.com/global/en/products/software/mindsphere.html.

https://ccl.northwestern.edu/netlogo/.

https://unity.com/.

We expect that this may often be the case between FMUs that represent physical elements by means of CT models.

The Gartner group puts digital twins in its 10 strategically most important technologies in 2019: https://www.gartner.com/smarterwithgartner/gartner-top-10-strategic-technology-trends-for-2019/.

Akhtar, N., Mian, A.: Threat of adversarial attacks on deep learning in computer vision: a survey. CoRR abs/1801.00553 (2018). https://arxiv.org/abs/1801.00553

Berger, J., Mazuroski, W., Oliveria, R.C., Mendes, N.: Intelligent co-simulation: neural network vs. proper orthogonal decomposition applied to a 2D diffusive problem. J. Build. Perform. Simul. 11(5), 568–587 (2018). https://doi.org/10.1080/19401493.2017.1414879CrossRef

Blochwitz, T.: Functional mock-up interface for model exchange and co-simulation, July 2014. https://www.fmi-standard.org/downloads

Bolton, A., Enzer, M., Schooling, J., et al.: The Gemini Principles: guiding values for the national digital twin and information management framework. Centre for Digital Built Britain and Digital Framework Task Group (2018). https://doi.org/10.17863/CAM.32260

Breunese, A.P., Broenink, J.F.: Modeling mechatronic systems using the SIDOPS+ language. In: The Society for Computer Simulation International, pp. 301–306 (1997)

Controllab Products: Design of a Compensated Motion Crane using INTO-CPS. Technical report, Press Release EU, Enschede, Netherlands (2018)

Couto, L.D., Basagianis, S., Mady, A.E.D., Ridouane, E.H., Larsen, P.G., Hasanagic, M.: Injecting formal verification in FMI-based co-simulation of cyber-physical systems. In: The 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS). Trento, Italy, September 2017

ECS-SRA: Electronic Components & Systems Strategic Research Agenda. Technical report, Electronic Components & Systems (ECS) (2019)

Electronic Components and Systems for European Leadership (ECSEL) Private Members Board: Multi Annual Strategic Research and Innovation Agenda for ECSEL Joint Undertaking (2016)

10.

Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-Physical Systems design: Formal Foundations, Methods and Integrated Tool Chains. In: FormaliSE: FME Workshop on Formal Methods in Software Engineering. ICSE 2015, Florence, Italy, May 2015

11.

Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.D.: Collaborative model-based systems engineering for cyber-physical systems - a case study in building automation. In: Proceedings INCOSE International Symposium on Systems Engineering. Edinburgh, Scotland, July 2016

12.

Foldager, F., Balling, O., Gamble, C., Larsen, P.G., Boel, M., Green, O.: Design space exploration in the development of agricultural robots. In: AgEng Conference. Wageningen, The Netherlands, July 2018

13.

Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. 51(3), 49:1–49:33 (2018)CrossRef

14.

Grieves, M., Vickers, J.: Digital twin: mitigating unpredictable, undesirable emergent behavior in complex systems. In: Kahlen, F.-J., Flumerfelt, S., Alves, A. (eds.) Transdisciplinary Perspectives on Complex Systems, pp. 85–113. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-38756-7_4CrossRef

15.

Hiden, H., Woodman, S., Watson, P., Cala, J.: Developing cloud applications using the e-science central platform. Philos. Trans. R. Soc. A: Math. Phys. Eng. Sci. 371(1983), 1–12 (2013)CrossRef

16.

Ingram, C., Pierce, K., Gamble, C., Wolff, S., Christensen, M.P., Larsen, P.G.: Examples compendium. Technical Report, The DESTECS Project (INFSO-ICT-248134), October 2012

17.

Jung, T., Shah, P., Weyrich, M.: Dynamic co-simulation of internet-of-things-components using a multi- agent-system. In: 51st CIRP Conference on Manufacturing Systems, vol. 72, pp. 874–879. Procedia CIRP, Elsevier (2018)CrossRef

18.

Karnopp, D., Rosenberg, R.: Analysis and Simulation of Multiport Systems: The Bond Graph Approach to Physical System Dynamic. MIT Press, Cambridge (1968)

19.

Kleijn, C.: Modelling and simulation of fluid power systems with 20-sim. Intl. J. Fluid Power 7(3), 57–60 (2006)CrossRef

20.

Knapp, G., Mukherjee, T., Zuback, J., Wei, H., Palmer, T.A., De, T.D.: Building blocks for a digital twin of additive manufacturing. Acta Mater. 135, 390–399 (2010)CrossRef

21.

Kunarth, M., Winkler, H.: Integrating the digital twin of the manufacturing system into a decision support system for improving the order management process. Procedia CIRP 72, 225–231 (2018)CrossRef

22.

Larsen, K.G., Legay, A.: Statistical model checking: past, present, and future. In: Margariaand Steffen [27], pp. 3–15. https://doi.org/10.1007/978-3-319-47166-2_1CrossRef

23.

Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative - integrating tools for VDM. SIGSOFT Softw. Eng. Notes 35(1), 1–6 (2010). https://doi.org/10.1145/1668862.1668864CrossRef

24.

Larsen, P.G., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS Project. In: CPS Data Workshop. Vienna, Austria, April 2016

25.

Larsen, P.G., Fitzgerald, J., Woodcock, J., Lecomte, T.: Trustworthy Cyber-Physical Systems Engineering, Chapter 8: Collaborative Modelling and Simulation for Cyber-Physical Systems. Chapman and Hall/CRC, September 2016. ISBN 9781498742450

26.

Legay, A., Sedwards, S., Traonouez, L.: Plasma lab: A modular statistical model checking platform. In: Margaria and Steffen [27], pp. 77–93. https://doi.org/10.1007/978-3-319-47166-2_6CrossRef

27.

Margaria, T., Steffen, B. (eds.): ISoLA 2016. LNCS, vol. 9952. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47166-2CrossRef

28.

Mazuroski, W., Berger, J., Oliveria, R.C., Mendes, N.: An artificial intelligence-based method to efficiently bring CFD to building simulation. J. Build. Perform. Simul. 11(5), 588–603 (2018). https://doi.org/10.1080/19401493.2017.1414880CrossRef

29.

Neghina, M., Zamrescu, C.B., Larsen, P.G., Lausdahl, K., Pierce, K.: Multi-paradigm discrete-event modelling and co-simulation of cyber-physical systems. Stud. Inf. Control 27(1), 33–42 (2018)

30.

Perrow, C.: Normal Accidents: Living with High Risk Technologies-Updated Edition. Princeton University Press, New Jersey (2011)CrossRef

31.

Qi, Q., Tao, F.: Digital twin and big data towards smart manufacturing and industry 4.0: 360 degree comparison. IEEE Access 6, 3585–3593 (2018)CrossRef

32.

Schweiger, G., et al.: Functional Mock-up Interface: an empirical survey identifies research challenges and current barriers. In: The American Modelica Conference, Cambridge, MA, USA (2018)

33.

Sugiyama, M.: Introduction to Statistical Machine Learning, 1st edn. Morgan Kaufmann, Boston (2015)MATH

34.

OMG Systems Modeling Language (OMG SysML\(^{\rm TM}\)). Technical Report. Version 1.4, Object Management Group, September 2015. http://www.omg.org/spec/SysML/1.4/

35.

Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Larsen, P.G.: Maestro: the INTO-CPS co-simulation framework. Simul. Model. Pract. Theory 92, 45–61 (2019). https://doi.org/10.1016/j.simpat.2018.12.005. http://www.sciencedirect.com/science/article/pii/S1569190X1830193XCrossRef

36.

Tran, D.T., Kiranyaz, S., Gabbouj, M., Iosifidis, A.: Heterogeneous Multilayer Generalized Operational Perceptron. arXiv:1804.05093, pp. 1–12 (2018)

37.

Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 147–162. Springer, Heidelberg (2006). https://doi.org/10.1007/11813040_11CrossRef

38.

LeCun, Y., Bengio, Y., Hinton, G.: Deep learning. Nature 521, 436–444 (2015)CrossRef

Titel: Multi-modelling and Co-simulation in the Engineering of Cyber-Physical Systems: Towards the Digital Twin
verfasst von: John Fitzgerald
Peter Gorm Larsen
Ken Pierce
Verlag: Springer International Publishing
Buch: From Software Engineering to Formal Methods and Tools, and Back
Print ISBN: 978-3-030-30984-8

Electronic ISBN: 978-3-030-30985-5

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-30985-5_4

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner