Bridging the semantic gap between heterogeneous modeling formalisms and FMI

Stavros Tripakis

doi:10.1109/SAMOS.2015.7363660

Bridging the semantic gap between heterogeneous modeling formalisms and FMI

Stavros Tripakis

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-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 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	https://doi.org/10.1109/SAMOS.2015.7363660
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

Access to Document

10.1109/SAMOS.2015.7363660

http://ieeexplore.ieee.org/document/7363660/?arnumber=7363660

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

@inproceedings{e937a1c8451c44f89ef94118d61f42b7,

title = "Bridging the semantic gap between heterogeneous modeling formalisms and FMI",

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.",

author = "Stavros Tripakis",

year = "2015",

month = dec,

day = "28",

doi = "10.1109/SAMOS.2015.7363660",

language = "English",

isbn = "978-1-4673-7311-1 ",

pages = "60--69",

booktitle = "Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), 2015 International Conference on",

publisher = "IEEE",

address = "United States",

note = "International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation , SAMOS ; Conference date: 20-07-2015 Through 23-07-2015",

}

Tripakis, S 2015, Bridging the semantic gap between heterogeneous modeling formalisms and FMI. in Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), 2015 International Conference on . IEEE, pp. 60-69, International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation , Samos, Greece, 20/07/2015. https://doi.org/10.1109/SAMOS.2015.7363660

TY - GEN

T1 - Bridging the semantic gap between heterogeneous modeling formalisms and FMI

AU - Tripakis, Stavros

N1 - Conference code: 15

PY - 2015/12/28

Y1 - 2015/12/28

N2 - 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.

AB - 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.

U2 - 10.1109/SAMOS.2015.7363660

DO - 10.1109/SAMOS.2015.7363660

M3 - Conference contribution

SN - 978-1-4673-7311-1

SP - 60

EP - 69

BT - Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), 2015 International Conference on

PB - IEEE

T2 - International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation

Y2 - 20 July 2015 through 23 July 2015

ER -