Skip to main content
SpringerLink
Log in

Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude

  • Conference paper
  • First Online:
Rewriting Logic and Its Applications (WRLA 2022)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13252))

Included in the following conference series:

  • 238 Accesses

Abstract

Simulation-based analysis of cyber-physical systems is vital in the era of Industry 4.0. Co-simulation enables composing specialized simulation tools via a co-simulation algorithm. In this paper, we provide a formal model in Maude of co-simulation for complex scenarios involving algebraic loops and step negotiation. We show not only how Maude can formally analyze co-simulations, but also how Maude can be used to synthesize co-simulation algorithms, port instrumentations, and parameter values so that the resulting co-simulation satisfies desired properties.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.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

Notes

  1. 1.

    We do not show variable declarations, but follow the convention that variables are written with capital letters.

References

  1. Amálio, N., Payne, R.J., Cavalcanti, A., Woodcock, J.: Checking SysML models for co-simulation. In: Ogata, K., Lawford, M., Liu, S. (eds.) ICFEM 2016. LNCS, vol. 10009, pp. 450–465. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47846-3_28

    Chapter  Google Scholar 

  2. Arnold, M., Clauß, C., Schierz, T.: Error analysis and error estimates for co-simulation in FMI for model exchange and co-simulation v2.0. In: Schöps, S., Bartel, A., Günther, M., ter Maten, E.J.W., Müller, P.C. (eds.) Progress in Differential-Algebraic Equations. DEF, pp. 107–125. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44926-4_6

    Chapter  MATH  Google Scholar 

  3. Blockwitz, T., et al.: Functional Mockup Interface 2.0: the standard for tool independent exchange of simulation models. In: Proceedings of 9th International Modelica Conference, pp. 173–184. Linköping University Electronic Press (2012)

    Google Scholar 

  4. Broman, D., et al.: Determinate composition of FMUs for co-simulation. In: Ernst, R., Sokolsky, O. (eds.) Proceedings of EMSOFT 2013. IEEE (2013)

    Google Scholar 

  5. Cavalcanti, A., Woodcock, J., Amálio, N.: Behavioural models for FMI co-simulations. In: Sampaio, A., Wang, F. (eds.) ICTAC 2016. LNCS, vol. 9965, pp. 255–273. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46750-4_15

    Chapter  Google Scholar 

  6. Clavel, M., et al. (eds.): All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-71999-1

    Book  Google Scholar 

  7. FMI: Functional mock-up interface tools (2014). https://fmi-standard.org/tools/

  8. Gamble, C.: Design space exploration in the INTO-CPS platform: integrated tool chain for model-based design of cyber physical systems (2016). https://projects.au.dk/fileadmin/D5.2d_DSE_in_the_INTO-CPS_Platform.pdf

  9. Gamble, C., Pierce, K.: Design space exploration for embedded systems using co-simulation. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collaborative Design for Embedded Systems: Co-modelling and Co-simulation, pp. 199–222. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54118-6_10

    Chapter  Google Scholar 

  10. Gao, S., Kong, S., Clarke, E.M.: dReal: an SMT solver for nonlinear theories over the reals. In: Bonacina, M.P. (ed.) CADE 2013. LNCS (LNAI), vol. 7898, pp. 208–214. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38574-2_14

    Chapter  Google Scholar 

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

    Article  Google Scholar 

  12. Gomes, C., Lucio, L., Vangheluwe, H.: Semantics of co-simulation algorithms with simulator contracts. In: Proceedings of the ACM/IEEE MODELS 2019. IEEE (2019)

    Google Scholar 

  13. Gomes, C., et al.: Semantic adaptation for FMI co-simulation with hierarchical simulators. J. Simul. 95(3), 1–29 (2019)

    Google Scholar 

  14. Gomes, C., et al.: HintCO - hint-based configuration of co-simulations. In: Proceedings of Simultech 2019. SciTePress (2019)

    Google Scholar 

  15. Gomes, C., Thule, C., Lausdahl, K., Larsen, P.G., Vangheluwe, H.: Demo: stabilization technique in INTO-CPS. In: Mazzara, M., Ober, I., Salaün, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 45–51. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-04771-9_4

    Chapter  Google Scholar 

  16. Gomes, C., Thule, C., Lúcio, L., Vangheluwe, H., Larsen, P.G.: Generation of co-simulation algorithms subject to simulator contracts. In: Camara, J., Steffen, M. (eds.) SEFM 2019. LNCS, vol. 12226, pp. 34–49. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-57506-9_4

    Chapter  Google Scholar 

  17. Hansen, S.T., Gomes, C., Larsen, P.G., van de Pol, J.: Synthesizing co-simulation algorithms with step negotiation and algebraic loop handling. In: Martin, C.R., Blas, M.J., Inostrosa-Psijas, A. (eds.) Proceedings of Annual Modeling and Simulation Conference (ANNSIM 2021). IEEE (2021)

    Google Scholar 

  18. Hansen, S.T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J., Woodcock, J.: Verification of co-simulation algorithms subject to algebraic loops and adaptive steps. In: Lluch Lafuente, A., Mavridou, A. (eds.) FMICS 2021. LNCS, vol. 12863, pp. 3–20. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-85248-1_1

    Chapter  Google Scholar 

  19. Kübler, R., Schiehlen, W.: Two methods of simulator coupling. Math. Comput. Model. Dyn. Syst. 6(2), 93–113 (2000)

    Article  Google Scholar 

  20. Mason, I.A., Nigam, V., Talcott, C., Brito, A.: A framework for analyzing adaptive autonomous aerial vehicles. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 406–422. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74781-1_28

    Chapter  Google Scholar 

  21. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1), 73–155 (1992)

    Article  MathSciNet  Google Scholar 

  22. Oakes, B.J., Gomes, C., Holzinger, F.R., Benedikt, M., Denil, J., Vangheluwe, H.: Hint-based configuration of co-simulations with algebraic loops. In: Obaidat, M.S., Ören, T., Szczerbicka, H. (eds.) SIMULTECH 2019. AISC, vol. 1260, pp. 1–28. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-55867-3_1

    Chapter  Google Scholar 

  23. Paris, T., Wiart, J., Netter, D., Chevrier, V.: Teaching co-simulation basics through practice. In: Durak, U. (ed.) Proceedings of SummerSim 2019. ACM (2019)

    Google Scholar 

  24. Schweizer, B., Li, P., Lu, D.: Explicit and implicit cosimulation methods: stability and convergence analysis for different solver coupling approaches. J. Comput. Nonlinear Dyn. 10(5), 051007 (2015)

    Google Scholar 

  25. Thule, C., Gomes, C., DeAntoni, J., Larsen, P.G., Brauer, J., Vangheluwe, H.: Towards the verification of hybrid co-simulation algorithms. In: Mazzara, M., Ober, I., Salaün, G. (eds.) STAF 2018. LNCS, vol. 11176, pp. 5–20. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-04771-9_1

    Chapter  Google Scholar 

  26. Zeyda, F., Ouy, J., Foster, S., Cavalcanti, A.: Formalising cosimulation models. In: Cerone, A., Roveri, M. (eds.) SEFM 2017. LNCS, vol. 10729, pp. 453–468. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74781-1_31

    Chapter  Google Scholar 

Download references

Acknowledgments

We thank Claudio Gomes, Jaco van de Pol, José Meseguer, and Stefan Hallerstede for valuable discussions and feedback. We also thank the anonymous reviewers for useful comments on a previous version of this paper.

Author information

Authors and Affiliations

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

    Simon Thrane Hansen

  2. Department of Informatics, University of Oslo, Oslo, Norway

    Peter Csaba Ölveczky

Authors
  1. Simon Thrane Hansen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Csaba Ölveczky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Simon Thrane Hansen .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Pohang University of Science and Technology, Pohang, Korea (Republic of)

    Kyungmin Bae

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hansen, S.T., Ölveczky, P.C. (2022). Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude. In: Bae, K. (eds) Rewriting Logic and Its Applications. WRLA 2022. Lecture Notes in Computer Science, vol 13252. Springer, Cham. https://doi.org/10.1007/978-3-031-12441-9_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-12441-9_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-12440-2

  • Online ISBN: 978-3-031-12441-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation