Temporal Issues in Cyber-Physical Systems

被引:0
|
作者
Broman, David [1 ,4 ]
Derler, Patricia [2 ]
Eidson, John C. [3 ]
机构
[1] Univ Calif Berkeley, Ptolemy Grp, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
[2] Univ Calif Berkeley, Berkeley, CA 94720 USA
[3] Univ Calif Berkeley, PTIDES Grp, Berkeley, CA 94720 USA
[4] Linkoping Univ, S-58183 Linkoping, Sweden
基金
瑞典研究理事会; 美国国家科学基金会;
关键词
Timestamps; Clocks; Synchronization; Ordering; Simultaneity; Discrete event systems; Distributed control; Real-time systems; PTIDES; IEEE; 1588; CLOCKS; INTERNET; THINGS;
D O I
暂无
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
This paper reviews the use of time, clocks, and clock synchronization protocols in cyber-physical systems (CPS). Recent advances in the area of timing suggest avenues of research and potential new application areas. We discuss how introducing timestamps and clocks can help overcome issues such as latency, jitter, and determining correct execution order. Furthermore, we show how system complexity can be reduced and distribution as well as parallelism can be done deterministically. We also point to recent work in raising time to first class citizen status in modeling and implementation. In particular, we describe design and execution environments of CPS and specialized hardware such as predictable timing architectures where time plays a key role.
引用
收藏
页码:389 / 402
页数:14
相关论文
共 50 条
  • [21] Semantic Inference for Cyber-Physical Systems with Signal Temporal Logic
    Chen, Gang
    Liu, Mei
    Kong, Zhaodan
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 6269 - 6274
  • [22] Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems
    Momtaz, Anik
    Abbas, Houssam
    Bonakdarpour, Borzoo
    PROCEEDINGS OF THE 2023 ACM/IEEE 14TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, WITH CPS-IOTWEEK 2023, 2023, : 154 - 165
  • [23] ETL: A New Temporal Language for the Verification of Cyber-Physical Systems
    Bouskela, Daniel
    Jardin, Audrey
    12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 412 - 419
  • [24] Spatio-Temporal Properties Analysis for Cyber-Physical Systems
    Shao, Zhucheng
    Liu, Jing
    Ding, Zuohua
    Chen, Mingsong
    Jiang, Ningkang
    2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 101 - 110
  • [25] Cyber-Physical Zero Trust Architecture for Industrial Cyber-Physical Systems
    Feng, Xiaomeng
    Hu, Shiyan
    IEEE Transactions on Industrial Cyber-Physical Systems, 2023, 1 : 394 - 405
  • [26] Engineering with cyber-physical systems - From mechatronic to cyber-physical engineering
    Scheifele, Stefan
    Verl, Alexander
    Riedel, Oliver
    ATP MAGAZINE, 2018, (11-12): : 68 - 78
  • [27] Cyber-Physical Systems Attestation
    Valente, Junia
    Barreto, Carlos
    Cardenas, Alvaro A.
    2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), 2014, : 354 - 357
  • [28] Cyber-physical systems for SmartGrid
    Dillon, Tharam S.
    Chang, Elizabeth
    Wu, Chen
    IECON Proceedings (Industrial Electronics Conference), 2010, : 13 - 14
  • [29] EDA for Cyber-Physical Systems
    Chakraborty, Samarjit
    2017 7TH INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING AND SYSTEM DESIGN (ISED), 2017,
  • [30] Cyber-Physical Systems for SmartGrid
    Dillon, Tharam S.
    Chang, Elizabeth
    Wu, Chen
    IECON 2010: 36TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2010,