This paper presents an approach to use the Functional Mockup Interface (FMI) for integration of classical controller specifications and statechart-based specifications of real-time critical message exchange protocols. The Functional Mockup Unit (FMU) is automatically generated from the specification. Using the generated FMU we are able to exploit simulation facilities as provided by Modelica/Dymola.
Mendeley helps you to discover research relevant for your work.
CITATION STYLE
Pohlmann, U., Schäfer, W., Reddehase, H., Röckemann, J., & Wagner, R. (2012). Generating Functional Mockup Units from Software Specifications. In Proceedings of the 9th International MODELICA Conference, September 3-5, 2012, Munich, Germany (Vol. 76, pp. 765–774). Linköping University Electronic Press. https://doi.org/10.3384/ecp12076765