Synthesizing Orchestration Algorithms for FMI 3.0

Simon Thrane Hansen; Cláudio Gomes; Zahra Kazemi

Synthesizing Orchestration Algorithms for FMI 3.0

Simon Thrane Hansen, Cláudio Gomes, Zahra Kazemi

Institut for Elektro- og Computerteknologi - Software Engineering & Computing systems

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Abstract

An essential part of building reliable cyber-physical systems is to be able to predict the behavior of such systems using accurate simulations. Standards for describing the behavior of such systems and simulations are evolving to facilitate a broader range of applications. The Functional Mockup Interface (FMI) standard is no exception. FMI 3.0 introduces synchronous clocks to facilitate efficient and repeatable simulation of event-driven systems. Nevertheless, the standard does not specify how to implement the synchronization of models, and it is up to the tool vendors to implement the orchestration algorithm responsible for this task. This paper presents the first approach to synthesizing the orchestration algorithm for FMI 3.0 supporting synchronous clocks. A prototype implementation of the algorithm is presented.

Originalsprog	Engelsk
Titel	2023 Annual Modeling and Simulation Conference (ANNSIM)
Redaktører	Maria Julia Blas, Gonzalo Alvarez
Antal sider	12
Forlag	IEEE
Publikationsdato	jul. 2023
Sider	184-195
ISBN (Elektronisk)	978-1-71-387328-0, 979-8-3503-1457-1
Status	Udgivet - jul. 2023
Begivenhed	2023 Annual Modeling and Simulation Conference, ANNSIM 2023 - Hamilton, Canada Varighed: 23 maj 2023 → 26 maj 2023

Konference

Konference	2023 Annual Modeling and Simulation Conference, ANNSIM 2023
Land/Område	Canada
By	Hamilton
Periode	23/05/2023 → 26/05/2023

Adgang til dokumentet

https://ieeexplore.ieee.org/document/10155361

Andre filer og links

Link to publication in Scopus

Citationsformater

@inproceedings{6cfd3358fccb4addb375b56e4e519d62,

title = "Synthesizing Orchestration Algorithms for FMI 3.0",

abstract = "An essential part of building reliable cyber-physical systems is to be able to predict the behavior of such systems using accurate simulations. Standards for describing the behavior of such systems and simulations are evolving to facilitate a broader range of applications. The Functional Mockup Interface (FMI) standard is no exception. FMI 3.0 introduces synchronous clocks to facilitate efficient and repeatable simulation of event-driven systems. Nevertheless, the standard does not specify how to implement the synchronization of models, and it is up to the tool vendors to implement the orchestration algorithm responsible for this task. This paper presents the first approach to synthesizing the orchestration algorithm for FMI 3.0 supporting synchronous clocks. A prototype implementation of the algorithm is presented.",

keywords = "Functional Mockup Interface, reactive systems, scheduling, synchronous clocks",

author = "Hansen, {Simon Thrane} and Cl{\'a}udio Gomes and Zahra Kazemi",

year = "2023",

month = jul,

language = "English",

pages = "184--195",

editor = "Blas, {Maria Julia} and Gonzalo Alvarez",

booktitle = "2023 Annual Modeling and Simulation Conference (ANNSIM)",

publisher = "IEEE",

note = "2023 Annual Modeling and Simulation Conference, ANNSIM 2023 ; Conference date: 23-05-2023 Through 26-05-2023",

}

TY - GEN

T1 - Synthesizing Orchestration Algorithms for FMI 3.0

AU - Hansen, Simon Thrane

AU - Gomes, Cláudio

AU - Kazemi, Zahra

PY - 2023/7

Y1 - 2023/7

N2 - An essential part of building reliable cyber-physical systems is to be able to predict the behavior of such systems using accurate simulations. Standards for describing the behavior of such systems and simulations are evolving to facilitate a broader range of applications. The Functional Mockup Interface (FMI) standard is no exception. FMI 3.0 introduces synchronous clocks to facilitate efficient and repeatable simulation of event-driven systems. Nevertheless, the standard does not specify how to implement the synchronization of models, and it is up to the tool vendors to implement the orchestration algorithm responsible for this task. This paper presents the first approach to synthesizing the orchestration algorithm for FMI 3.0 supporting synchronous clocks. A prototype implementation of the algorithm is presented.

AB - An essential part of building reliable cyber-physical systems is to be able to predict the behavior of such systems using accurate simulations. Standards for describing the behavior of such systems and simulations are evolving to facilitate a broader range of applications. The Functional Mockup Interface (FMI) standard is no exception. FMI 3.0 introduces synchronous clocks to facilitate efficient and repeatable simulation of event-driven systems. Nevertheless, the standard does not specify how to implement the synchronization of models, and it is up to the tool vendors to implement the orchestration algorithm responsible for this task. This paper presents the first approach to synthesizing the orchestration algorithm for FMI 3.0 supporting synchronous clocks. A prototype implementation of the algorithm is presented.

KW - Functional Mockup Interface

KW - reactive systems

KW - scheduling

KW - synchronous clocks

UR - http://www.scopus.com/inward/record.url?scp=85165468587&partnerID=8YFLogxK

M3 - Article in proceedings

SP - 184

EP - 195

BT - 2023 Annual Modeling and Simulation Conference (ANNSIM)

A2 - Blas, Maria Julia

A2 - Alvarez, Gonzalo

PB - IEEE

T2 - 2023 Annual Modeling and Simulation Conference, ANNSIM 2023

Y2 - 23 May 2023 through 26 May 2023

ER -

Synthesizing Orchestration Algorithms for FMI 3.0

Abstract

Konference

Adgang til dokumentet

Andre filer og links

Fingeraftryk

Citationsformater