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

492 Downloads (Pure)

Abstract

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
Pages159-169
Article number17
ISBN (Electronic)978-91-7685-955-1
DOIs
Publication statusPublished - 2015
Event11th International Modelica Conference - Versailles , France
Duration: 21 Sep 201523 Sep 2015

Conference

Conference11th International Modelica Conference
CountryFrance
CityVersailles
Period21/09/201523/09/2015
SeriesLinköping Electronic Conference Proceedings
Number118
ISSN1650-3686

Keywords

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

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

Cite this