Bridging the semantic gap between heterogeneous modeling formalisms and FMI

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Abstract

FMI (Functional Mockup Interface) is a standard for exchanging and co-simulating model components (called FMUs) coming from potentially different modeling formalisms, languages, and tools. Previous work has proposed a formal model for the co-simulation part of the FMI standard, and also presented two co-simulation algorithms which can be proven to have desirable properties, such as determinacy, provided the FMUs satisfy a formal contract. In this paper we discuss the principles for encoding different modeling formalisms, including state machines (both untimed and timed), discrete-event systems, and synchronous dataflow, as FMUs. The challenge is to bridge the various semantic gaps (untimed vs. timed, signals vs. events, etc.) that arise because of the heterogeneity between these modeling formalisms and the FMI API.
Original languageEnglish
Title of host publicationEmbedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), 2015 International Conference on
PublisherIEEE
Pages60-69
ISBN (Print)978-1-4673-7311-1
DOIs
Publication statusPublished - 28 Dec 2015
MoE publication typeA4 Article in a conference publication
EventInternational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - Samos, Greece
Duration: 20 Jul 201523 Jul 2015
Conference number: 15

Conference

ConferenceInternational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation
Abbreviated titleSAMOS
Country/TerritoryGreece
CitySamos
Period20/07/201523/07/2015

Fingerprint

Dive into the research topics of 'Bridging the semantic gap between heterogeneous modeling formalisms and FMI'. Together they form a unique fingerprint.

Cite this