Semantics of Co-simulation Algorithms with Simulator Contracts

Cláudio Gomes, Levi Lúcio and Hans Vangheluwe

2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), pp. 784–798

September 2019 · doi: 10.1109/MODELS-C.2019.00124


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.

subject terms: co-simulation, prolog, contract-based-design, constraint-solving, Model-based Systems Engineering, MbSE