Co-Simulation of Hybrid Systems with SpaceEx and Uppaal

Sergiy Bogomolov, Marius Greitschus, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marius Mikučionis, Thomas Strump, Stavros Tripakis

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

669 Downloads (Pure)


The Functional Mock-up Interface (FMI) is an industry standard which enables co-simulation of complex heterogeneous systems using multiple simulation engines. In this paper, we show how to use FMI in order to co-simulate hybrid systems modeled in the model checkers SPACEEX and UPPAAL. We show how FMI components can be automatically generated from SPACEEX and UPPAAL models. We also validate the cosimulation approach by comparing the simulations of a room heating benchmark in two cases: first, when a single model is simulated in SPACEEX; and second, when the model is split in two submodels, and co-simulated using SPACEEX and UPPAAL. Finally, we perform a measurement experiment on a composite model to show a potential for statistical model checking using stochastic co-simulations.
Original languageEnglish
Title of host publication11th International Modelica Conference Proceedings
PublisherLinköping University Electronic Press
Publication date2015
Article number17
ISBN (Electronic)978-91-7685-955-1
Publication statusPublished - 2015
Event11th International Modelica Conference - Versailles , France
Duration: 21 Sept 201523 Sept 2015


Conference11th International Modelica Conference
SeriesLinköping Electronic Conference Proceedings


  • FMI
  • hybrid systems
  • timed automata
  • co-simulation


Dive into the research topics of 'Co-Simulation of Hybrid Systems with SpaceEx and Uppaal'. Together they form a unique fingerprint.

Cite this