Co-Simulation: A Survey

被引:226
作者
Gomes, Claudio [1 ]
Thule, Casper [2 ]
Broman, David [3 ]
Larsen, Peter Gorm [2 ]
Vangheluwe, Hans [1 ,4 ]
机构
[1] Univ Antwerp, Dept Math & Comp Sci, Middelheimlaan 1, B-2000 Antwerp, Belgium
[2] Aarhus Univ, Dept Engn, Finlandsgade 22, DK-8200 Aarhus, Denmark
[3] KTH Royal Inst Technol, ICT SCS, Kistagangen 16, S-16440 Kista, Sweden
[4] McGill Univ, Sch Comp Sci, 3480 Univ St, Montreeal, PQ H3A 0E9, Canada
基金
欧盟地平线“2020”;
关键词
Co-simulation; simulation; compositionality; HYBRID SYSTEMS; DISTRIBUTED SIMULATION; DESIGN; MODEL; DEVS; APPROXIMATION; FRAMEWORK; MULTIBODY; LANGUAGES; TOOLS;
D O I
10.1145/3179993
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Modeling and simulation techniques are today extensively used both in industry and science. Parts of larger systems are, however, typically modeled and simulated by different techniques, tools, and algorithms. In addition, experts from different disciplines use various modeling and simulation techniques. Both these facts make it difficult to study coupled heterogeneous systems. Co-simulation is an emerging enabling technique, where global simulation of a coupled system can be achieved by composing the simulations of its parts. Due to its potential and interdisciplinary nature, cosimulation is being studied in different disciplines but with limited sharing of findings. In this survey, we study and survey the state-of-the-art techniques for co-simulation, with the goal of enhancing future research and highlighting the main challenges. To study this broad topic, we start by focusing on discrete-event-based co-simulation, followed by continuous-time-based co-simulation. Finally, we explore the interactions between these two paradigms, in hybrid co-simulation. To survey the current techniques, tools, and research challenges, we systematically classify recently published research literature on co-simulation, and summarize it into a taxonomy. As a result, we identify the need for finding generic approaches for modular, stable, and accurate coupling of simulation units, as well as expressing the adaptations required to ensure that the coupling is correct.
引用
收藏
页数:33
相关论文
共 158 条
  • [1] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    HALBWACHS, N
    HENZINGER, TA
    HO, PH
    NICOLLIN, X
    OLIVERO, A
    SIFAKIS, J
    YOVINE, S
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) : 3 - 34
  • [2] Andersson C, 2016, THESIS LUND U
  • [3] Andersson Christian, 2016, EFFICIENT PREDICTOR
  • [4] [Anonymous], 2011, P ECCOMAS THEMATIC C
  • [5] [Anonymous], 1976, THEORY MODELLING SIM
  • [6] [Anonymous], 2017, COSIMULATION STATE A
  • [7] [Anonymous], 2015, SPRING SIM MULT SOC
  • [8] [Anonymous], 2017, SIMULTECH 2017
  • [9] [Anonymous], 2002, Proceedings of the AIS'2002 Conference AI, Simulation and Planning in High Autonomy Systems
  • [10] [Anonymous], 1990, FEATURE ORIENTED DOM