Beyond Time-Triggered Co-simulation of Cyber-Physical Systems for Performance and Accuracy Improvements

被引:2
|
作者
Liboni, Giovanni [1 ]
Deantoni, Julien [2 ]
Portaluri, Antonio [3 ]
Quaglia, Davide [4 ]
de Simone, Robert [1 ]
机构
[1] Univ Cote Azur, INRIA, Sophia Antipolis, France
[2] Univ Cote Azur, CNRS, I3S, INRIA, Sophia Antipolis, France
[3] EDALab Srl, Verona, Italy
[4] Univ Verona, Dept Comp Sci, Verona, Italy
关键词
FMI; Functional Mock-up Interface; event-driven simulation;
D O I
10.1145/3180665.3180668
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Cyber-Physical Systems consist of cyber components controlling physical entities. Their development involves different engineering disciplines, that use different models, written in languages with different semantics. A coupled simulation of these models is of prime importance to rapidly understand the emerging system behavior. The coupling of the simulations is realized by a coordinator that conveys data and ensures time consistency between the different models/simulators. Existing coordinators are usually time triggered. In this paper we show that time-triggered coordinators may introduce poor performance and accuracy (both temporal and functional) when used to co-simulate cyber-physical models. Therefore, we propose a new coordinator mixing time- and event-triggered mechanisms. We validated the approach in the context of the FMI standard for co-simulation. To make possible the writing of the new coordinators, we implemented backward compatible extensions to the FMI API. Also, we implemented a new FMI exporter in an industrial tool.
引用
收藏
页数:8
相关论文
共 50 条
  • [1] Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems
    Zhang, Zhenkai
    Eyisi, Emeka
    Koutsoukos, Xenofon
    Porter, Joseph
    Karsai, Gabor
    Sztipanovits, Janos
    [J]. 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 119 - 128
  • [2] 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
    [J]. SIMULATION MODELLING PRACTICE AND THEORY, 2014, 43 : 16 - 33
  • [3] Loosely Time-Triggered Architectures for Cyber-Physical Systems
    Benveniste, Albert
    [J]. 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 3 - 8
  • [4] A Co-Simulation Interface for Cyber-Physical Systems
    Zhang, Yu
    Dong, Yunwei
    Feng, Wenlong
    Huang, Mengxing
    [J]. 2016 13TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS) - PROCEEDINGS, 2016, : 176 - 181
  • [5] A comprehensive co-simulation platform for cyber-physical systems
    Al-Hammouri, Ahmad T.
    [J]. COMPUTER COMMUNICATIONS, 2012, 36 (01) : 8 - 19
  • [6] Formalization and co-simulation of attacks on cyber-physical systems
    Bernardeschi, Cinzia
    Domenici, Andrea
    Palmieri, Maurizio
    [J]. JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2020, 16 (01) : 63 - 77
  • [7] Formalization and co-simulation of attacks on cyber-physical systems
    Cinzia Bernardeschi
    Andrea Domenici
    Maurizio Palmieri
    [J]. Journal of Computer Virology and Hacking Techniques, 2020, 16 : 63 - 77
  • [8] Co-simulation of Cyber-Physical Systems using HLA
    Nagele, Thomas
    Hooman, Jozef
    [J]. 2017 IEEE 7TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE IEEE CCWC-2017, 2017,
  • [9] Heterogeneous co-simulation for embedded and cyber-physical systems design
    Attarzadeh-Niaki, Seyed-Hosein
    Sander, Ingo
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2020, 96 (09): : 753 - 765
  • [10] HybridSim: A Modeling and Co-simulation Toolchain for Cyber-Physical Systems
    Wang, Baobing
    Baras, John S.
    [J]. 17TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT 2013), 2013, : 33 - 40