< Terug naar vorige pagina

Publicatie

Semantics of Co-simulation Algorithms with Simulator Contracts

Boekbijdrage - Boekabstract Conferentiebijdrage

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.
Boek: ACM/IEEE 22nd International Conference on Model Driven Engineering, Languages and Systems Companion (MODELS-C), SEP 15-20, 2019, Munich, GERMANY
Pagina's: 784 - 789
Jaar van publicatie:2019
Trefwoorden:P1 Proceeding
BOF-keylabel:ja
Authors from:Higher Education
Toegankelijkheid:Closed