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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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
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
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)
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)
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
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
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
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
FMI: List of tools implementing the FMI standard. https://fmi-standard.org/tools/
FMI.: Functional mock-up interface for model exchange and co-simulation (2014). https://fmi-standard.org/downloads/
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)
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)
Gomes, C., et al.: HintCO public repository. https://msdl.uantwerpen.be/git/claudio/HintCO
Gomes, C.: Property preservation in co-simulation. Ph.D. thesis, University of Antwerp (2019)
Gomes, C., et al.: Co-simulation: state of the art. Technical report, University of Antwerp (2017). http://arxiv.org/abs/1702.00686
Gomes, C., et al.: Co-simulation: a survey. ACM Comput. Surv. 51(3) (2018). https://doi.org/10.1145/3179993. Article 49
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
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
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
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
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
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)
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
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
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
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
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
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
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)
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)
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
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
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
DOI: https://doi.org/10.1007/978-3-030-55867-3_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-55866-6
Online ISBN: 978-3-030-55867-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)