Skip to main content
SpringerLink
Log in

Hint-Based Configuration of Co-simulations with Algebraic Loops

  • Conference paper
  • First Online:
Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2019)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1260))

Abstract

Co-simulation is a powerful technique for performing full-system simulation. Multiple black-box models and their simulators are combined together to provide the behaviour for a full system. However, the black-box nature of co-simulation and potentially infinite configuration space means that configuration of co-simulations is a challenging problem for today’s practitioners.

Our previous work on co-simulation configuration operated on the notion of hints, which allow system engineers to encode their knowledge and insights about the system. These hints, combined with state-of-the-art best practices, can then be used to semi-automatically configure the co-simulation.

We summarize our previous hint-based configuration work here, and explore the challenging problem of scheduling co-simulations which contain algebraic loops. Solving or “breaking” these loops is required for scheduling, yet this breaking process can induce errors in the co-simulation. This work formalizes this scheduling problem, presents our insights gained about the problem, and details an optimal search algorithm as well as greedy scheduling algorithms. These heuristic algorithms are evaluated on (synthetic) co-simulation scenarios to determine their relative speedup and optimality.

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

References

  1. 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: Progress in Differential-Algebraic Equations, pp. 107–125. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-44926-4_6

  2. Autili, M., Grunske, L., Lumpe, M., Pelliccione, P., Tang, A.: Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Trans. Softw. Eng. 41(7), 620–638 (2015). https://doi.org/10.1109/TSE.2015.2398877

    Article  Google Scholar 

  3. Benedikt, M., Watzenig, D., Zehetner, J., Hofer, A.: Macro-step-size selection and monitoring of the coupling error for weak coupled subsystems in the frequency-domain. In: V International Conference on Computational Methods for Coupled Problems in Science and Engineering, pp. 1–12 (2013)

    Google Scholar 

  4. Benedikt, M., Watzenig, D., Zehetner, J., Hofer, A.: NEPCE-a nearly energy preserving coupling element for weak-coupled problems and co-simulation. In: IV International Conference on Computational Methods for Coupled Problems in Science and Engineering, pp. 1–12 (2013)

    Google Scholar 

  5. Benedikt, M., Holzinger, F.R.: Automated configuration for non-iterative co-simulation. In: 17th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE), pp. 1–7. IEEE (2016). https://doi.org/10.1109/EuroSimE.2016.7463355

  6. Bernaerts, M., Oakes, B., Vanherpen, K., Aelvoet, B., Vangheluwe, H., Denil, J.: Validating industrial requirements with a contract-based approach. In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 18–27. IEEE (2019). https://doi.org/10.1109/MODELS-C.2019.00010

  7. Blockwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In: 9th International Modelica Conference, pp. 173–184. Linköping University Electronic Press (2012). https://doi.org/10.3384/ecp12076173

  8. Broman, D., et al.: Determinate composition of FMUs for co-simulation. In: 11th ACM International Conference on Embedded Software. IEEE Press Piscataway, NJ (2013). Article no. 2

    Google Scholar 

  9. FMI: List of tools implementing the FMI standard. https://fmi-standard.org/tools/

  10. FMI.: Functional mock-up interface for model exchange and co-simulation (2014). https://fmi-standard.org/downloads/

  11. Glumac, S., Kovacic, Z.: Calling sequence calculation for sequential co-simulation master. In: Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp. 157–160. ACM (2018)

    Google Scholar 

  12. Gomes, C., Lúcio, L., Vangheluwe, H.: Semantics of co-simulation algorithms with simulator contracts. In: 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 784–789. IEEE (2019)

    Google Scholar 

  13. Gomes, C., et al.: HintCO public repository. https://msdl.uantwerpen.be/git/claudio/HintCO

  14. Gomes, C.: Property preservation in co-simulation. Ph.D. thesis, University of Antwerp (2019)

    Google Scholar 

  15. Gomes, C., et al.: Co-simulation: state of the art. Technical report, University of Antwerp (2017). http://arxiv.org/abs/1702.00686

  16. Gomes, C., et al.: Co-simulation: a survey. ACM Comput. Surv. 51(3) (2018). https://doi.org/10.1145/3179993. Article 49

  17. Gomes, C., et al.: Semantic adaptation for FMI co-simulation with hierarchical simulators. Simulation 95(3), 1–29 (2018). https://doi.org/10.1177/0037549718759775

    Article  Google Scholar 

  18. Gomes, C., et al.: HintCO – Hint-based configuration of co-simulations. In: Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH, vol. 1, pp. 57–68. INSTICC. SciTePress (2019). https://doi.org/10.5220/0007830000570068

  19. Holzinger, F., Benedikt, M.: Optimal trigger sequence for non-iterative co-simulation. In: Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp. 80–87. SCITEPRESS - Science and Technology Publications (2019). https://doi.org/10.5220/0007833800800087

  20. Holzinger, F.R., Benedikt, M.: Hierarchical coupling approach utilizing multi-objective optimization for non-iterative co-simulation. In: Proceedings of the 13th International Modelica Conference, no. 157, pp. 735–740. Linköping University Electronic Press (February 2019). https://doi.org/10.3384/ecp19157735

  21. Kübler, R., Schiehlen, W.: Two methods of simulator coupling. Math. Comput. Model. Dyn. Syst. 6(2), 93–113 (2000). https://doi.org/10.1076/1387-3954(200006)6:2;1-M;FT093

    Article  MATH  Google Scholar 

  22. Krammer, M., Fritz, J., Karner, M.: Model-based configuration of automotive co-simulation scenarios. In: 48th Annual Simulation Symposium, pp. 155–162. Society for Computer Simulation International (2015)

    Google Scholar 

  23. Krammer, M., et al.: The distributed co-simulation protocol for the integration of real-time systems and simulation environments. In: Proceedings of the 50th Computer Simulation Conference, SummerSim 2018, p. 1. Society for Computer Simulation International (July 2018). https://doi.org/10.22360/summersim.2018.scsc.001

  24. Lee, E.A.: Cyber physical systems: design challenges. In: 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 363–369 (2008). https://doi.org/10.1109/ISORC.2008.25

  25. Schweiger, G., et al.: Functional mock-up interface: an empirical survey identifies research challenges and current barriers. In: Proceedings of the American Modelica Conference, pp. 138–146. Linköping University Electronic Press (2018). https://doi.org/10.3384/ecp18154138

  26. Sicklinger, S., et al.: Interface Jacobian-based co-simulation. Int. J. Numer. Methods Eng. 98(6), 418–444 (2014). https://doi.org/10.1002/nme.4637

    Article  MathSciNet  MATH  Google Scholar 

  27. Stecken, J., Lenkenhoff, K., Kuhlenkötter, B.: Classification method for an automated linking of models in the co-simulation of production systems. Procedia CIRP 81, 104–109 (2019). https://doi.org/10.1016/j.procir.2019.03.019

    Article  Google Scholar 

  28. Van Tendeloo, Y., Vangheluwe, H.: Increasing the performance of a discrete event system specification simulator by means of computational resource usage activity models. Simulation 93(12), 1045–1061 (2017). https://doi.org/10.1177/0037549717726595

    Article  Google Scholar 

  29. Vangheluwe, H., de Lara, J., Mosterman, P.J.: An introduction to multi-paradigm modelling and simulation. In: Proceedings of AI, Simulation and Planning in High Autonomy Systems, pp. 9–20. SCS (2002)

    Google Scholar 

  30. Vanherpen, K., Denil, J., De Meulenaere, P., Vangheluwe, H.: Design-space exploration in model driven engineering: an initial pattern catalogue. In: 1st International Workshop on Combining Modelling with Search and Example-Based Approaches (CMSEBA), vol. 1340, pp. 42–51, CEUR Workshop Proceedings (2014)

    Google Scholar 

Download references

Acknowledgments

The authors thank Dr. Guillermo Alberto Perez (University of Antwerp) and Dr. Romain Franceschini (University of Corsica) for illuminating discussions on the trigger sequence cost function and algorithms.

This research was partially supported by a PhD fellowship grant from the Research Foundation - Flanders (File Number 1S06316N).

Author information

Authors and Affiliations

  1. University of Antwerp, Antwerp, Belgium

    Bentley James Oakes, Cláudio Gomes, Joachim Denil & Hans Vangheluwe

  2. Flanders Make vzw, Lommel, Belgium

    Bentley James Oakes, Cláudio Gomes, Joachim Denil & Hans Vangheluwe

  3. Virtual Vehicle Research GmbH, Graz, Austria

    Franz Rudolf Holzinger & Martin Benedikt

Authors
  1. Bentley James Oakes
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Cláudio Gomes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Franz Rudolf Holzinger
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Martin Benedikt
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Joachim Denil
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Hans Vangheluwe
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bentley James Oakes .

Editor information

Editors and Affiliations

  1. Fellow of IEEE, Dean of College of Computing and Informatics, University of Sharjah, Sharjah, United Arab Emirates

    Mohammad S. Obaidat

  2. School of Electrical Engineering and Computer Science, University of Ottawa, Ottawa, ON, Canada

    Tuncer Ören

  3. Universität Hannover, Hannover, Germany

    Helena Szczerbicka

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

Oakes, B.J., Gomes, C., Holzinger, F.R., Benedikt, M., Denil, J., Vangheluwe, H. (2021). Hint-Based Configuration of Co-simulations with Algebraic Loops. In: Obaidat, M., Ören, T., Szczerbicka, H. (eds) Simulation and Modeling Methodologies, Technologies and Applications. SIMULTECH 2019. Advances in Intelligent Systems and Computing, vol 1260. Springer, Cham. https://doi.org/10.1007/978-3-030-55867-3_1

Download citation

Publish with us

Policies and ethics

Search

Navigation