Conference article

Application of Model-Based Testing to Dynamic Evaluation of Functional Mockup Units

Cláudio Gomes
University of Antwerp, Belgium

Romain Franceschini
University of Antwerp, Belgium and University of Corsica, France

Nick Battle
Independent, United Kingdom

Casper Thule
Aarhus University, Denmark

Kenneth Lausdahl
Aarhus University, Denmark

Hans Vangheluwe
University of Antwerp, Belgium

Peter Gorm Larsen
Aarhus University, Denmark

Download article

Published in: Proceedings of the American Modelica Conference 2020, Boulder, Colorado, USA, March 23-25, 2020

Linköping Electronic Conference Proceedings 169:16, p. 149-158

Show more +

Published: 2020-11-03

ISBN: 978-91-7929-900-2

ISSN: 1650-3686 (print), 1650-3740 (online)


A successful co-simulation standard is crucial in applying co-simulation in large scale distributed development processes. A factor that affects the success of a standard is how easily a vendor can implement it. In this paper, we describe an approach to facilitate the implementation of the Functional Mock-up Interface standard. In particular, we propose the use of model-based testing for evaluating the tools that export Functional Mock-up Units (FMUs). This has the benefit that the model used as documentation to describe the possible behaviors of an FMU, can also be used to test it. These principles are embodied in a tool, which is open source, and available online. We then use this tool to evaluate the FMUs available in the FMI Crosscheck repository.


model-based testing, functional mock-up interface standard, co-simulation


No references available

Citations in Crossref