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 language | English |
---|---|
Title of host publication | Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), 2015 International Conference on |
Publisher | IEEE |
Pages | 60-69 |
ISBN (Print) | 978-1-4673-7311-1 |
DOIs | |
Publication status | Published - 28 Dec 2015 |
MoE publication type | A4 Article in a conference publication |
Event | International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation - Samos, Greece Duration: 20 Jul 2015 → 23 Jul 2015 Conference number: 15 |
Conference
Conference | International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation |
---|---|
Abbreviated title | SAMOS |
Country | Greece |
City | Samos |
Period | 20/07/2015 → 23/07/2015 |