Authors: Casper Thule, Kenneth Lausdahl and Peter Gorm Larsen
Paper Information
Title: | Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs |
Authors: | Casper Thule, Kenneth Lausdahl and Peter Gorm Larsen |
Proceedings: | Overture Full papers |
Editors: | Marcel Verhoef and Ken Pierce |
Keywords: | Overture, Functional Mock-up Interface, VDM-RT, Co-Simulation, Real-Time, Discrete-Event |
Abstract: | ABSTRACT. The Functional Mock-up Interface is a standard for co-simulation, which both defines and describes a set of C interfaces that a simulation unit, a Functional Mock-up Unit (FMU), must adhere to in order to participate in such a co-simulation. To avoid the effort of implementing the low level details of the C interface when developing an FMU, one can use the Overture tool and the language VDM-RT. VDM-RT is a VDM dialect used for modelling real-time and potentially distributed systems. By using the Overture extension, called Overture FMU, the VDM-RT dialect can be used to develop FMUs. This raises the abstraction level of the implementation language and avoids implementation details of the FMIinterface thereby supporting rapid prototyping of FMUs. Furthermore, it enables precise time detection of changes in outputs, as every expression and statement in VDM-RT is associated with a “timing cost”. The Overture FMU has been used in several industrial case studies, and this paper describes how the Overture toolwrapper FMU engages in a co-simulation in terms of architecture, synchronisation and execution. Furthermore, a small example is presented. |
Pages: | 16 |
Talk: | Jul 14 11:00 (Session 95G: Overture: Tools and Applications) |
Paper: |