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 条
  • [1] Cyber-physical systems and their security issues
    Alguliyev, Rasim
    Imamverdiyev, Yadigar
    Sukhostat, Lyudmila
    [J]. COMPUTERS IN INDUSTRY, 2018, 100 : 212 - 223
  • [2] Cyber-Physical Systems and Reliability Issues
    Yusupova, Nafisa
    Rizvanov, Dmitry
    Andrushko, Dmitry
    [J]. PROCEEDINGS OF THE 8TH SCIENTIFIC CONFERENCE ON INFORMATION TECHNOLOGIES FOR INTELLIGENT DECISION MAKING SUPPORT (ITIDS 2020), 2020, 174 : 133 - 137
  • [3] Software Engineering Issues for Cyber-Physical Systems
    Al-Jaroodi, Jameela
    Mohamed, Nader
    Jawhar, Imad
    Lazarova-Molnar, Sanja
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP), 2016, : 264 - 269
  • [4] Temporal Logic Resilience for Cyber-Physical Systems
    Saoud, Adnane
    Jagtap, Pushpak
    Soudjani, Sadegh
    [J]. 2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 2066 - 2071
  • [5] Modelling cyber-physical systems: some issues and directions
    Galvao, J.
    Machado, J.
    Prisacaru, G.
    Olaru, D.
    Bujoreanu, C.
    [J]. 8TH INTERNATIONAL CONFERENCE ON ADVANCED CONCEPTS IN MECHANICAL ENGINEERING, 2018, 444
  • [6] Explainable AI for Cyber-Physical Systems: Issues and Challenges
    Hoenig, Amber
    Roy, Kaushik
    Acquaah, Yaa Takyiwaa
    Yi, Sun
    Desai, Salil S.
    [J]. IEEE ACCESS, 2024, 12 : 73113 - 73140
  • [7] Cyber-Physical Electrical Energy Systems: Challenges and Issues
    Shi, Xingyu
    Li, Yong
    Cao, Yijia
    Tan, Yi
    [J]. CSEE JOURNAL OF POWER AND ENERGY SYSTEMS, 2015, 1 (02): : 36 - 42
  • [8] Temporal Data Dissemination in Vehicular Cyber-Physical Systems
    Liu, Kai
    Lee, Victor Chung Sing
    Ng, Joseph Kee-Yin
    Chen, Jun
    Son, Sang Hyuk
    [J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2014, 15 (06) : 2419 - 2431
  • [9] Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
    Abbas, Houssam
    Fainekos, Georgios
    Sankaranarayanan, Sriram
    Ivancic, Franjo
    Gupta, Aarti
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2013, 12
  • [10] Modeling and verification of temporal properties in Cyber-Physical Systems
    Graja, Imen
    Kallel, Slim
    Guermouche, Nawal
    Kacem, Ahmed Hadj
    [J]. 2017 14TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2017, : 325 - 330