Abstract
Co-simulation allows modelling and simulation of heterogeneous systems: the analysis of a system is achieved through the joint simulation of coupled stand-alone sub-simulators for its individual parts, using a standardized interface (e.g. Functional Mock-up Interface - FMI). Runtime verification can be employed to validate the evolution of co-simulation runs, but currently this is feasible only within the scope of individual simulators that may support very diverse monitoring functionalities. This work introduces a technical approach for the runtime verification of properties for the entire co-simulated system. We present the integration of the DejaVU monitor synthesis tool at the master algorithm level of FMI-based co-simulation, such that predicates and events from all constituents of a simulated system can be monitored. Communication between the master and the individual Functional Mock-Up Units (FMUs) is bidirectional, whereas the FMI master does not need to change for monitoring the property of interest. Since FMUs are synchronized by the master algorithm, runtime monitors can be used also as a means to control the co-simulation run. We provide results from co-simulation experiments to give insight into the runtime overhead.
Supported by the european project Horizon 2020 research and innovation programme under grant agreement No. 956123.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Balakrishnan, A., Deshmukh, J., Hoxha, B., Yamaguchi, T., Fainekos, G.: PerceMon: online monitoring for perception systems. In: Feng, L., Fisman, D. (eds.) RV 2021. LNCS, vol. 12974, pp. 297–308. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-88494-9_18
Bartocci, E., et al.: Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 135–175. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-75632-5_5
Bartocci, E., Falcone, Y., Francalanza, A., Reger, G.: Introduction to runtime verification. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification. LNCS, vol. 10457, pp. 1–33. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-75632-5_1
Basu, A., Bensalem, S., Bozga, M., Bourgos, P., Sifakis, J.: Rigorous system design: the BIP approach. In: Kotásek, Z., Bouda, J., Černá, I., Sekanina, L., Vojnar, T., Antoš, D. (eds.) MEMICS 2011. LNCS, vol. 7119, pp. 1–19. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-25929-6_1
Bensalem, S., et al.: Formal specification for learning-enabled autonomous systems. EasyChair Preprint No. 8564, EasyChair (2022)
Blochwitz, T., et al.: Functional mockup interface 2.0: the standard for tool independent exchange of simulation models. In Proceedings of the 9th International Modelica Conference, pp. 173–184. The Modelica Association (2012)
Bogomolov, S., et al.: Co-simulation of hybrid systems with SpaceEx and Uppaal. In 11th International Modelica Conference, pp. 159–169. Linköping University Electronic Press (2015)
Broman, D., et al.: Determinate composition of FMUs for co-simulation. In: 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 1–12. IEEE (2013)
Cremona, F., et al.: Hybrid co-simulation: it’s about time. Soft. Syst. Model. 18(3), 1655–1679 (2019). https://doi.org/10.1007/s10270-017-0633-6
Düser, T.: X-in-the-Loop - an integrated validation framework for vehicle development using powertrain functions and driver assistance systems, Ph.D. thesis (2010)
Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: state of the art. arXiv preprint arXiv:1702.00686 (2017)
Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a survey. ACM Comput. Surv. (CSUR) 51(3), 1–33 (2018)
Havelund, K., Peled, D., Ulus, D.: First order temporal logic monitoring with BDDs. In: Formal Methods in Computer Aided Design, FMCAD, pp. 116–123. IEEE (2017)
Havelund, K., Peled, D., Ulus, D.: First-order temporal logic monitoring with BDDs. Formal Methods Syst. Des. 56(1), 1–21 (2020)
He, W.: Modeling and simulation for AI-based systems, master thesis (2021)
Liboni, G.: Complex systems co-simulation with the CoSim20 framework: for efficient and accurate distributed co-simulations, Ph.D. thesis, Université Côte d’Azur (2021)
Maler, O.: Some thoughts on runtime verification. In: Falcone, Y., Sánchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 3–14. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46982-9_1
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)
Tripakis, S.: Bridging the semantic gap between heterogeneous modeling formalisms and FMI. In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), pp. 60–69. IEEE (2015)
Zapridou, E., Bartocci, E., Katsaros, P.: Runtime verification of autonomous driving systems in CARLA. In: Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, 6–9 October 2020, pp. 172–183. Proceedings (2020)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Temperekidis, A., Kekatos, N., Katsaros, P. (2022). Runtime Verification for FMI-Based Co-simulation. In: Dang, T., Stolz, V. (eds) Runtime Verification. RV 2022. Lecture Notes in Computer Science, vol 13498. Springer, Cham. https://doi.org/10.1007/978-3-031-17196-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-031-17196-3_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-17195-6
Online ISBN: 978-3-031-17196-3
eBook Packages: Computer ScienceComputer Science (R0)