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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

482 Downloads (Pure)

Abstrakt

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.
OriginalsprogEngelsk
Titel11th International Modelica Conference Proceedings
ForlagLinköping University Electronic Press
Publikationsdato2015
Sider159-169
Artikelnummer17
ISBN (Elektronisk)978-91-7685-955-1
DOI
StatusUdgivet - 2015
Begivenhed11th International Modelica Conference - Versailles , Frankrig
Varighed: 21 sep. 201523 sep. 2015

Konference

Konference11th International Modelica Conference
LandFrankrig
ByVersailles
Periode21/09/201523/09/2015
NavnLinköping Electronic Conference Proceedings
Nummer118
ISSN1650-3686

Fingeraftryk Dyk ned i forskningsemnerne om 'Co-Simulation of Hybrid Systems with SpaceEx and Uppaal'. Sammen danner de et unikt fingeraftryk.

Citationsformater