Co-simulation of cyber-physical systems using a DEVS wrapping strategy in the MECSYCO middleware

被引:16
作者
Camus, Benjamin [1 ]
Paris, Thomas [1 ]
Vaubourg, Julien [1 ]
Presse, Yannick [2 ]
Bourjot, Christine [1 ]
Ciarletta, Laurent [1 ]
Chevrier, Vincent [1 ]
机构
[1] Univ Lorraine, CNRS, INRIA, LORIA,UMR 7503, F-54506 Vandoeuvre Les Nancy, France
[2] INRIA, F-54600 Villers Les Nancy, France
来源
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL | 2018年 / 94卷 / 12期
关键词
DEVS; co-simulation; FMI/FMU; QSS; DEV&DESS; hybrid modeling; parallel simulation; cyber-physical systems; COMPLEX;
D O I
10.1177/0037549717749014
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Most modeling and simulation (M&S) questions about cyber-physical systems (CPSs) require expert skills belonging to different scientific fields. The challenges are then to integrate each domain's tools (formalism and simulation software) within the rigorous framework of M&S process. To answer this issue, we give the specifications of the Multi-agent Environment for Complex-SYstem CO-simulation (MECSYCO) middleware which enables to interconnect several pre-existing and heterogeneous M&S tools, so they can simulate a whole CPS together. The middleware performs the co-simulation in a parallel, decentralized, and distributable fashion thanks to its modular multi-agent architecture. In order to rigorously integrate tools that use different formalisms, the co-simulation engine of MECSYCO is based on the discrete event system specification (DEVS). The central idea of MECSYCO is to use a DEVS wrapping strategy to integrate each tool into the middleware. Thus, heterogeneous tools can be homogeneously co-simulated in the form of a DEVS system. By using DEVS, MECSYCO benefits from the numerous scientific works which have demonstrated the integrative power of this formalism and give crucial guidelines to rigorously design wrappers. We demonstrate that our discrete framework can integrate a vast amount of continuous M&S tools by wrapping the Functional Mockup Interface (FMI) standard. To this end, we take advantage of DEVS efforts of the literature (namely, the DEV&DESS hybrid formalism and Quantized State System (QSS) solvers) to design DEVS wrappers for Functional Mockup Unit (FMU) components. As a side-effect, this wrapping is not restricted to MECSYCO but can be applied in any DEVS-based platform. We evaluate MECSYCO with the proof of concept of a smart heating use case, where we co-simulate non-DEVS-centric M&S tools.
引用
收藏
页码:1099 / 1127
页数:29
相关论文
共 50 条
  • [41] Modeling and Simulation of Attacks on Cyber-physical Systems
    Bernardeschi, Cinzia
    Domenici, Andrea
    Palmieri, Maurizio
    PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY (ICISSP), 2019, : 700 - 708
  • [42] Cyber-physical modeling and simulation: A reference architecture for designing demonstrators for industrial cyber-physical systems
    Oks, Sascha Julian
    Jalowski, Max
    Fritzsche, Albrecht
    Moeslein, Kathrin M.
    29TH CIRP DESIGN CONFERENCE 2019, 2019, 84 : 257 - 264
  • [43] A novel simulation strategy for equation-based models of cyber-physical systems
    Chen Chang
    Su Shaohui
    Peng Zhangming
    Chen Guojin
    Liu Haiqiang
    Gong Youping
    Cluster Computing, 2019, 22 : 5245 - 5255
  • [44] A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS)
    Lu, Jinzhi
    Orngren, Martin T.
    Chen, De-Jiu
    Wang, Jian
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 : 391 - 405
  • [45] Cyber-Physical Testbed Co-Simulation Real-Time: Normal and Abnormal System Frequency Response
    Riquelme-Dominguez, Jose Miguel
    Gonzalez-Longatt, Francisco
    Melo, Andre Felipe Silva
    Rueda, Jose Luis
    Palensky, Peter
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2024, 60 (02) : 2643 - 2652
  • [46] Using complex event processing for modelling and simulation of cyber-physical systems
    Klein, Ruediger
    Rilling, Stefan
    Usov, Andrij
    Xie, Jingquan
    INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURES, 2013, 9 (1-2) : 148 - 172
  • [47] A co-simulation framework for design of time-triggered automotive cyber physical systems
    Zhang, Zhenkai
    Eyisi, Emeka
    Koutsoukos, Xenofon
    Porter, Joseph
    Karsai, Gabor
    Sztipanovits, Janos
    SIMULATION MODELLING PRACTICE AND THEORY, 2014, 43 : 16 - 33
  • [48] Rapid Construction of Co-simulations of Cyber-Physical Systems in HLA using a DSL
    Nagele, Thomas
    Hooman, Jozef
    2017 43RD EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2017, : 247 - 251
  • [49] Process execution in Cyber-Physical Systems using cloud and Cyber-Physical Internet services
    Bordel, Borja
    Alcarria, Ramon
    Sanchez de Rivera, Diego
    Robles, Tomas
    JOURNAL OF SUPERCOMPUTING, 2018, 74 (08) : 4127 - 4169
  • [50] Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems
    Zhang, Yu
    Xie, Fei
    Dong, Yunwei
    Zhou, Xingshe
    Ma, Chunyan
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 539 - 548