手机体育投注平台

Advertisement

Hint-Based Configuration of Co-simulations with Algebraic Loops

  • Bentley James OakesEmail author
  • Cláudio Gomes
  • Franz Rudolf Holzinger
  • Martin Benedikt
  • Joachim Denil
  • Hans Vangheluwe
Conference paper
  • 38 Downloads
Part of the Advances in Intelligent Systems and Computing book series (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.

Notes

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

References

  1. 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).  
  2. 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).  
  3. 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)
  4. 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)
  5. 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).  
  6. 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).  
  7. 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).  
  8. 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
  9. 9.
    FMI: List of tools implementing the FMI standard.
  10. 10.
    FMI.: Functional mock-up interface for model exchange and co-simulation (2014).
  11. 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)
  12. 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)
  13. 13.
    Gomes, C., et al.: HintCO public repository.
  14. 14.
    Gomes, C.: Property preservation in co-simulation. Ph.D. thesis, University of Antwerp (2019)
  15. 15.
    Gomes, C., et al.: Co-simulation: state of the art. Technical report, University of Antwerp (2017).
  16. 16.
    Gomes, C., et al.: Co-simulation: a survey. ACM Comput. Surv. 51(3) (2018).  . Article 49
  17. 17.
    Gomes, C., et al.: Semantic adaptation for FMI co-simulation with hierarchical simulators. Simulation 95(3), 1–29 (2018).  
  18. 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).  
  19. 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).  
  20. 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).  
  21. 21.
    Kübler, R., Schiehlen, W.: Two methods of simulator coupling. Math. Comput. Model. Dyn. Syst. 6(2), 93–113 (2000).  
  22. 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)
  23. 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).  
  24. 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).  
  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).  
  26. 26.
    Sicklinger, S., et al.: Interface Jacobian-based co-simulation. Int. J. Numer. Methods Eng. 98(6), 418–444 (2014).  
  27. 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).  
  28. 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).  
  29. 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)
  30. 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)

Copyright information

© Springer Nature Switzerland AG 2021

Authors and Affiliations

  • Bentley James Oakes
    • 1
    • 2
    Email author
  • Cláudio Gomes
    • 1
    • 2
  • Franz Rudolf Holzinger
    • 3
  • Martin Benedikt
    • 3
  • Joachim Denil
    • 1
    • 2
  • Hans Vangheluwe
    • 1
    • 2
  1. 1.University of AntwerpAntwerpBelgium
  2. 2.Flanders Make vzwLommelBelgium
  3. 3.Virtual Vehicle Research GmbHGrazAustria

Personalised recommendations