|
Title
|
|
|
|
Semantics of Co-simulation Algorithms with Simulator Contracts
|
|
|
Author
|
|
|
|
|
|
|
Abstract
|
|
|
|
| The rapid adoption of co-simulation techniques allows for holistic complex system development. However, ensuring trustworthy results when combining simulators requires a careful consideration of their implementation and capabilities. Especially in black box integration, these are frequently left implicit. In this paper, we explore a way to account for simulator capabilities, by formalizing the execution of a co-simulation that respects such contracts. This formalization is specific to two kinds of contracts, but could serve as a basis to a general approach to black box co-simulation. An example application of the semantics to generate master algorithms is presented. |
|
|
|
Language
|
|
|
|
English
|
|
|
Source (journal)
|
|
|
|
2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING
LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019)
|
|
|
Source (book)
|
|
|
|
ACM/IEEE 22nd International Conference on Model Driven Engineering, Languages and Systems Companion (MODELS-C), SEP 15-20, 2019, Munich, GERMANY
|
|
|
Publication
|
|
|
|
Los alamitos
:
Ieee computer soc
,
2019
|
|
|
ISBN
|
|
|
|
978-1-72815-125-0
|
|
|
DOI
|
|
|
|
10.1109/MODELS-C.2019.00124
|
|
|
Volume/pages
|
|
|
|
(2019)
, p. 784-789
|
|
|
ISI
|
|
|
|
000521634200112
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|