Abstract
To understand the behavior emerging from the coordination of heterogeneous simulation units, co-simulation usually relies on either a time-triggered or an event-triggered Application Programming Interface (API). It creates bias in the resulting behavior since time or event triggered API may not be appropriate to the behavioral semantics of the model inside the simulation unit. This paper presents a new semantic-aware API to execute models. This API is a simple and straightforward extension of the Functional Mock-up Interface (FMI) API. It can be used to execute models in isolation, to debug them, and to co-simulate them. The new API is semantic aware in the sense that it goes beyond time/event triggered API to allow communication based on the behavioral semantics of internal models. This API is illustrated on a simple co-simulation use case with both Cyber and Physical models.
Keywords
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This notion is defined later in this section.
- 2.
Note that, in reference to study on Model of Computations [27] that this may be done only for timed simulation units.
- 3.
It can be either from above to below, from below to above or both.
- 4.
The associated code can be retrieved from http://i3s.unice.fr/~ deantoni/cosim-cps2020.
- 5.
- 6.
References
André, C.: Syntax and semantics of the clock constraint specification language. Technical report 6925, INRIA (2009)
IEEE Standards Association and others: IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)—Framework and Rules. Institute of Electrical and Electronics Engineers, New York. IEEE Standard (1516-2010), pp. 10–1109 (2010)
Awais, M.U., Palensky, P., Elsheikh, A., Widl, E., Matthias, S.: The high level architecture RTI as a master to the functional mock-up interface components. In: 2013 International Conference on Computing, Networking and Communications (ICNC), pp. 315–320. IEEE (2013)
Bastian, J., Clauß, C., Wolf, S., Schneider, P.: Master for co-simulation using FMI. In: Proceedings of the 8th International Modelica Conference, March 20th–22nd, Technical Univeisity, Dresden, Germany, pp. 115–120, No. 63. Linköping University Electronic Press (2011)
Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., De Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64–83 (2003)
Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., Deantoni, J., Combemale, B.: Execution framework of the GEMOC studio (tool demo). In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, pp. 84–89. ACM (2016)
Broman, D, et al.: Determinate composition of FMUS for co-simulation. In: Proceedings of the Eleventh ACM International Conference on Embedded Software, p. 2. IEEE Press (2013)
Broman, D., Greenberg, L., Lee, E.A., Masin, M., Tripakis, S., Wetter, M.: Requirements for hybrid cosimulation standards. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015, pp. 179–188. Association for Computing Machinery, New York (2015)
Centomo, S., Deantoni, J., De Simone, R.: Using SystemC cyber models in an FMI co-simulation environment. In: 19th Euromicro Conference on Digital System Design 31 August - 2 September 2016. 19th Euromicro Conference on Digital System Design, Limassol, Cyprus, vol. 19, August 2016. https://doi.org/10.1109/DSD.2016.86. https://hal.inria.fr/hal-01358702
Combemale, B., Deantoni, J., Baudry, B., France, R.B., Jézéquel, J., Gray, J.: Globalizing modeling languages. Computer 47(6), 68–71 (2014). https://doi.org/10.1109/MC.2014.147
Cremona, F., Lohstroh, M., Broman, D., Di Natale, M., Lee, E.A., Tripakis, S.: Step revision in hybrid co-simulation with FMI. In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design. IEEE, Kanpur, November 2016
Deantoni, J., André, C., Gascon, R.: CCSL denotational semantics. Research report RR-8628, Inria, November 2014. https://hal.inria.fr/hal-01082274
Garlan, D., Shaw, M.: An introduction to software architecture. In: Advances in Software Engineering and Knowledge Engineering 1(3.4) (1993)
Lee, E.A.: Cyber physical systems: design challenges. In: 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 363–369 (2008)
Liboni, G., Deantoni, J.: WIP on a coordination language to automate the generation of co-simulations. In: 2019 Forum for Specification and Design Languages (FDL), pp. 1–4. IEEE (2019)
Liboni, G., Deantoni, J., Portaluri, A., Quaglia, D., De Simone, R.: Beyond Time-triggered co-simulation of cyber-physical systems for performance and accuracy improvements. In: 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Manchester, United Kingdom, January 2018. https://hal.inria.fr/hal-01675396
Medvidovic, N., Taylor, R.N.: A framework for classifying and comparing architecture description languages. ACM SIGSOFT Softw. Eng. Notes 22(6), 60–76 (1997)
Modelisar: FMI for Model Exchange and Co-Simulation, July 2014. https://fmi-standard.org/downloads#version2
Mustafiz, S., Gomes, C., Vangheluwe, H., Barroca, B.: Modular design of hybrid languages by explicit modeling of semantic adaptation. In: 2016 Symposium on Theory of Modeling and Simulation (TMS-DEVS), pp. 1–8, April 2016. https://doi.org/10.23919/TMS.2016.7918835
Neema, H., et al.: Model-based integration platform for FMI co-simulation and heterogeneous simulations of cyber-physical systems. In: Proceedings of the 10th International Modelica Conference, Lund, Sweden, pp. 235–245, No. 096. Linköping University Electronic Press (2014)
Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Adv. Comput. 46, 329–400 (1998)
Savicks, V., Butler, M., Colley, J.: Co-simulating event-B and continuous models via FMI. In: Proceedings of the 2014 Summer Simulation Multiconference, p. 37. Society for Computer Simulation International (2014)
Schierz, T., Arnold, M., Clauß, C.: Co-simulation with communication step size control in an FMI compatible master algorithm. In: Proceedings of the 9th International MODELICA Conference, Munich, Germany, pp. 205–214, No. 076. Linköping University Electronic Press (2012)
Tavella, J.P., et al.: Toward an Hybrid Co-simulation with the FMI-CS Standard, Research report, April 2016. https://hal-centralesupelec.archives-ouvertes.fr/hal-01301183
Tavella, J.P., et al.: Toward an accurate and fast hybrid multi-simulation with the FMI-CS standard. In: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1–5. IEEE, Berlin, September 2016. https://doi.org/10.1109/ETFA.2016.7733616
Thule, C., Gomes, C., Deantoni, J., Larsen, P.G., Brauer, J., Vangheluwe, H.: Towards the verification of hybrid co-simulation algorithms. In: Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Toulouse, France, June 2018. https://hal.inria.fr/hal-01871531
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)
Van Acker, B., Denil, J., Vangheluwe, H., De Meulenaere, P.: Generation of an optimised master algorithm for FMI co-simulation. In: Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, DEVS 2015, pp. 205–212. Society for Computer Simulation International, San Diego (2015)
Wang, B., Baras, J.S.: Hybridsim: a modeling and co-simulation toolchain for cyber-physical systems. In: Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2013, pp. 33–40. IEEE Computer Society, Washington, DC (2013). https://doi.org/10.1109/DS-RT.2013.12. http://dx.doi.org/10.1109/DS-RT.2013.12
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
Liboni, G., Deantoni, J. (2021). A Semantic-Aware, Accurate and Efficient API for (Co-)Simulation of CPS. In: Cleophas, L., Massink, M. (eds) Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops. SEFM 2020. Lecture Notes in Computer Science(), vol 12524. Springer, Cham. https://doi.org/10.1007/978-3-030-67220-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-030-67220-1_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-67219-5
Online ISBN: 978-3-030-67220-1
eBook Packages: Computer ScienceComputer Science (R0)