Abstract
In order to ensure that the co-simulation of Cyber-Physical Systems (CPSs) is possible with as wide a variety of tools as possible, a standard called the Functional Mockup Interface (FMI) has been defined. The FMI provides the means to compute the overall behaviour of a coupled system by the coordination and communication of simulators, each responsible for a part of the system. The contribution presented in this paper is an initial formal model of the FMI standard using the VDM Specification Language. Early results suggest that the FMI standard defines a number of FMU static constraints that are not enforced by many of the tools that are able to export such FMUs.
N. Battle—Independent
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
Similar content being viewed by others
Notes
- 1.
From https://fmi-standard.org/tools/, as of August 2019.
- 2.
- 3.
Version 0.0.2 build 191107.
- 4.
- 5.
References
Bastian, J., Clauß, C., Wolf, S., Schneider, P.: Master for co-simulation using FMI. In: 8th International Modelica Conference, pp. 115–120. Linköping University Electronic Press, Linköpings universitet, Dresden, Germany, June 2011
Blochwitz, T., et al.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference, pp. 105–114. Linköping University Electronic Press, Linköpings universitet, Dresden, Germany, June 2011
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, Munich, Germany, November 2012
Fitzgerald, J., Gamble, C., Larsen, P.G., Pierce, K., Woodcock, J.: Cyber-physical systems design: formal foundations, methods and integrated tool chains. In: FormaliSE: FME Workshop on Formal Methods in Software Engineering. ICSE 2015, Florence, Italy, May 2015
Fitzgerald, J., et al.: Collaborative model-based systems engineering for cyber-physical systems - a case study in building automation. In: Proceedings of INCOSE International Symposium on Systems Engineering. Edinburgh, Scotland, July 2016
Fitzgerald, J., Larsen, P.G.: Modelling Systems - Practical Tools and Techniques in Software Development, 2nd edn. Cambridge University Press, Cambridge (2009). ISBN 0-521-62348-0
FMI: Functional Mock-up Interface for Model Exchange and Co-Simulation. Technical report, FMI development group (2014)
Gomes, C., et al.: Semantic adaptation for FMI co-simulation with hierarchical simulators. SIMULATION 95(3), 1–29 (2018)
Gomes, C., et al.: HintCO - hint-based configuration of co-simulations. In: International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Prague, Czech Republic, pp. 57–68 (2019). https://doi.org/10.5220/0007830000570068
Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: a Survey. ACM Comput. Surv. 51(3), 49:1–49:33 (2018). Article 49
Hasanagić, M., Tran-Jørgensen, P.W.V., Lausdahl, K., Larsen, P.G.: Formalising and validating the interface description in the FMI standard. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 344–351. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48989-6_21
Jones, C.B.: Systematic Software Development Using VDM, 2nd edn. Prentice-Hall International, Englewood Cliffs (1990). ISBN 0-13-880733-7
Larsen, P.G., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: CPS Data Workshop. Vienna, Austria, April 2016
Larsen, P.G., Fitzgerald, J., Woodcock, J., Lecomte, T.: Trustworthy Cyber-Physical Systems Engineering. Chapter 8: Collaborative Modelling and Simulation for Cyber-Physical Systems. Chapman and Hall/CRC, Boca Raton (2016). ISBN 9781498742450
Larsen, P.G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C., Foster, S.: Towards semantically integrated models and tools for cyber-physical systems design. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 171–186. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_13
Schweiger, G., et al.: An empirical survey on co-simulation: promising standards, challenges and research needs. Simul. Model. Pract. Theor. 95, 148–163 (2019)
Thule, C., Lausdahl, K., Gomes, C., Meisl, G., Larsen, P.G.: Maestro: the INTO-CPS co-simulation framework. Simul. Model. Pract. Theor 92, 45–61 (2019). http://www.sciencedirect.com/science/article/pii/S1569190X1830193X
Thule, C., et al.: Towards reuse of synchronization algorithms in co-simulation frameworks. In: Accepted for Publication at the Co-Sim-19 Workshop, September 2019
Tomiyama, T., D’Amelio, V., Urbanic, J., ElMaraghy, W.: Complexity of multi-disciplinary design. CIRP Ann. Manuf. Technol. 56(1), 185–188 (2007)
Van der Auweraer, H., Anthonis, J., De Bruyne, S., Leuridan, J.: Virtual engineering at work: the challenges for designing mechatronic products. Eng. Comput. 29(3), 389–408 (2013)
Acknowledgements
We are grateful to the Poul Due Jensen Foundation, which has supported the establishment of a new Centre for Digital Twin Technology at Aarhus University, which will take forward the principles, tools and applications of the engineering of digital twins. We also acknowledge EU for funding the INTO-CPS project (grant agreement number 644047) which was the original source of funding for the INTO-CPS Application, and the Research Foundation - Flanders (Grant File Number 1S06316N). Finally, we thank the reviewers for their throughout feedback.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Battle, N., Thule, C., Gomes, C., Macedo, H.D., Larsen, P.G. (2020). Towards a Static Check of FMUs in VDM-SL. In: Sekerinski, E., et al. Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science(), vol 12233. Springer, Cham. https://doi.org/10.1007/978-3-030-54997-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-030-54997-8_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-54996-1
Online ISBN: 978-3-030-54997-8
eBook Packages: Computer ScienceComputer Science (R0)