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.
CITATION STYLE
Battle, N., Thule, C., Gomes, C., Macedo, H. D., & Larsen, P. G. (2020). Towards a static check of fmus in vdm-sl. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 12233 LNCS, pp. 272–288). Springer. https://doi.org/10.1007/978-3-030-54997-8_18
Mendeley helps you to discover research relevant for your work.