An Extended Model of CAN in Cyber-physical Systems

被引:0
|
作者
Shen, Bo [1 ]
Zhou, Xingshe [1 ]
Yang, Gang [1 ]
机构
[1] Northwestern Polytech Univ, Sch Comp Sci, Xian 710072, Peoples R China
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The timing of communication (e.g. deadline, response time) is an important issue in cyber-physical systems (CPS). Control Area Network (CAN) is characterized by low-cost, real-time and high reliability; and it is widely used in a kind of typical applications in CPS (e.g. lunar probe, unmanned aerial vehicle). In this paper, we characterize the mutual-effects of physical dynamics and computing process to the performance of communication, which are not well addressed in previous studies. We propose a formal extended model for CAN, which takes physical-environmental factors and physical processes into account and integrates them with information factors. This model is exemplified through the lunar-probe application. Our work establishes the foundation for timing analysis of CAN in CPS.
引用
收藏
页码:532 / 535
页数:4
相关论文
共 50 条
  • [1] A Model for Signatories in Cyber-Physical Systems
    Sudarsan, Sreelakshmi Vattaparambil
    Schelen, Olov
    Bodin, Ulf
    2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 15 - 21
  • [2] Cyber-physical Systems
    Wolf, Wayne
    COMPUTER, 2009, 42 (03) : 88 - 89
  • [3] Cyber-physical Systems
    Vogel-Heuser, Birgit
    Kowalewski, Stefan
    AT-AUTOMATISIERUNGSTECHNIK, 2013, 61 (10) : 667 - 668
  • [4] Cyber-Physical Systems
    Lamnabhi-Lagarrigue, Francoise
    Di Benedetto, Maria Domenica
    Schoitsch, Erwin
    ERCIM NEWS, 2014, (97): : 6 - 7
  • [5] Cyber-Physical Systems
    Letichevsky A.A.
    Letychevskyi O.O.
    Skobelev V.G.
    Volkov V.A.
    Letichevsky, A.A. (aaletichevsky78@gmail.com), 2017, Springer Science and Business Media, LLC (53) : 821 - 834
  • [6] CYBER-PHYSICAL SYSTEMS
    Zanero, Stefano
    COMPUTER, 2017, 50 (04) : 15 - 16
  • [7] A Semantic Model for Interacting Cyber-Physical Systems
    Lion, Benjamin
    Arbab, Farhad
    Talcott, Carolyn
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (347): : 77 - 95
  • [8] Enabling Model Testing of Cyber-Physical Systems
    Gonzalez, Carlos A.
    Varmazyar, Mojtaba
    Nejati, Shiva
    Briand, Lionel C.
    Isasi, Yago
    21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 176 - 186
  • [9] A Hybrid Model of Connectors in Cyber-Physical Systems
    Chen, Xiaohong
    Sun, Jun
    Sun, Meng
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2014, 2014, 8829 : 59 - 74
  • [10] A Hybrid Cyber Attack Model for Cyber-Physical Power Systems
    Tu, Haicheng
    Xia, Yongxiang
    Tse, Chi K.
    Chen, Xi
    IEEE ACCESS, 2020, 8 : 114876 - 114883