skip to main content
10.1145/2968456.2974012acmotherconferencesArticle/Chapter ViewAbstractPublication PagesesweekConference Proceedingsconference-collections
research-article

Time in cyber-physical systems

Published: 01 October 2016 Publication History

Abstract

Many modern cyber-physical systems (CPS), especially industrial automation systems, require the actions of multiple computational systems to be performed at much higher rates and more tightly synchronized than is possible with ad hoc designs. Time is the common entity that computing and physical systems in CPS share, and correct interfacing of that is essential to flawless functionality of a CPS. Fundamental research is needed on ways to synchronize clocks of computing systems to a high degree, and on design methods that enable building blocks of CPS to perform actions at specified times. To realize the potential of CPS in the coming decades, suitable ways to specify distributed CPS applications are needed, including their timing requirements, ways to specify the timing of the CPS components (e.g. sensors, actuators, computing platform), timing analysis to determine if the application design is possible using the components, confident top-down design methodologies that can ensure that the system meets its timing requirements, and ways and methodologies to test and verify that the system meets the timing requirements. Furthermore, strategies for securing timing need to be carefully considered at every CPS design stage and not simply added on. This paper exposes these challenges of CPS development, points out limitations of previous approaches, and provides some research directions towards solving these challenges.

References

[1]
S. M. Amin and B. F. Wollenberg, "Toward a Smart Grid: Power Delivery for The 21st Century," IEEE power and energy magazine, vol. 3, no. 5, pp. 34--41, 2005.
[2]
A. V. Meier and R. Arghandeh, "Every Moment Counts: Synchrophasors for Distribution Networks with Variable Resources," arXiv preprint arXiv:1408.1736, 2014.
[3]
Y. H. Tang, G. N. Stenbakken, and A. Goldstein, "Calibration of Phasor Measurement Unit at nist," IEEE Transactions on Instrumentation and Measurement, vol. 62, no. 6, pp. 1417--1422, 2013.
[4]
J. Amelot, D. Anand, T. Nelson, G. Stenbakken, Y. S. Li-Baboud, and J. Moyne, "Towards Timely Intelligence in the Power Grid," in 44th Annual PTTI Meeting, 2012.
[5]
A. E. Motter, S. A. Myers, M. Anghel, and T. Nishikawa, "Spontaneous Synchrony in Power-Grid Networks," Nature Physics, vol. 9, no. 3, pp. 191--197, 2013.
[6]
B. Liskov, "Practical Uses of Synchronized Clocks in Distributed Systems," Distributed Computing, vol. 6, no. 4, pp. 211--219, 1993.
[7]
M. Toerngren, S. Tripakis, P. Derler, and E. A. Lee, "Design Contracts for Cyber-Physical Systems: Making Timing Assumptions Explicit," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2012-191, 2012.
[8]
P. Derler, J. C. Eidson, S. Goose, E. A. Lee, S. Matic, and M. Zimmer, "Using Ptides and Synchronized Clocks to Design Distributed Systems with Deterministic System Wide Timing," in 2013 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS) Proceedings. IEEE, 2013, pp. 41--46.
[9]
B. Kim, L. Feng, O. Sokolsky, and I. Lee, "Platform-Specific Code Generation from Platform-Independent Timed Models," in Real-Time Systems Symposium, 2015 IEEE. IEEE, 2015, pp. 75--86.
[10]
K. Altisen and S. Tripakis, "Implementation of Timed Automata: An Issue of Semantics or Modeling?" in International Conference on Formal Modeling and Analysis of Timed Systems. Springer, 2005, pp. 273--288.
[11]
A. Sangiovanni-vincentelli, W. Damm, and R. Passerone, "Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems," European Journal of Control, 2012.
[12]
E. A. Lee, "The Past, Present and Future of Cyber-Physical Systems: a Focus on Models," Sensors, vol. 15, no. 3, pp. 4837--4869, 2015.
[13]
O. Simeone, U. Spagnolini, Y. Bar-Ness, and S. H. Strogatz, "Distributed Synchronization in Wireless Networks," IEEE Signal Processing Magazine, vol. 25, no. 5, pp. 81--97, 2008.
[14]
M. R. Mosavi and A. Tabatabaei, "Traveling-Wave Fault Location Techniques in Power System Based on Wavelet Analysis and Neural Network Using gps Timing," Wireless Personal Communications, vol. 86, no. 2, pp. 835--850, 2016.
[15]
C. Collaboration et al., "Fine Synchronization of The CMS MUON Drift-Tube Local Trigger Using Cosmic Rays," Journal of Instrumentation, vol. 5, no. 03, p. T03004, 2010.
[16]
D. Pilaud, N. Halbwachs, and J. Plaice, "LUSTRE: a Declarative Language for Programming Synchronous Systems," in Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages (14th POPL 1987). ACM, New York, NY, vol. 178, 1987, p. 188.
[17]
E. Nunzi, L. Galleani, P. Tavella, and P. Carbone, "Detection of Anomalies in The Behavior of Atomic Clocks," IEEE Transactions on Instrumentation and Measurement, vol. 56, no. 2, pp. 523--528, 2007.
[18]
T. A. Henzinger, B. Horowitz, and C. M. Kirsch, "Giotto: A Time-Triggered Language for Embedded Programming," Proceedings of IEEE, vol. 91, no. 1, pp. 84--99, 2003.
[19]
J. Zou, S. Matic, E. A. Lee, T. H. Feng, and P. Derler, "Execution Strategies for Ptides, A Programming Model for Distributed Embedded Systems," in Real-Time and Embedded Technology and Applications Symposium (RTAS). San Francisco, CA: IEEE, 2009.
[20]
O. Maler and D. Nickovic, "Monitoring Temporal Properties of Continuous Signals," in In: Proceedings of FORMATS-FTRTFT. Volume 3253 of LNCS. Springer, 2004, pp. 152--166.
[21]
D. L. Mills, "Internet Time Synchronization: The Network Time Protocol," IEEE Transactions on communications, vol. 39, no. 10, pp. 1482--1493, 1991.
[22]
K. Lee, J. C. Eidson, H. Weibel, and D. Mohl, "IEEE-1588 Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems," in Conference on IEEE, vol. 1588, 2005, p. 2.
[23]
J. C. Eidson, Measurement, Control, and Communication using IEEE 1588. Springer Science & Business Media, 2006.
[24]
J. Eidson and K. Stanton, "Timing in Cyber-Physical Systems: The Last Inch Problem," in Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS). IEEE, October 2015, pp. 19--24.
[25]
J. Zou, S. Matic, E. A. Lee, T. H. Feng, and P. Derler, "Execution Strategies for PTIDES, A Programming Model for Distributed Embedded Systems," in Real-Time and Embedded Technology and Applications Symposium, 2009. RTAS 2009. 15th IEEE. IEEE, 2009, pp. 77--86.
[26]
R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström, "The Worst-Case Execution-Time Problem; Overview of Methods and Survey of Tools," ACM Trans. Embed. Comput. Syst., vol. 7, no. 3, pp. 36:1--36:53, May 2008.
[27]
S. A. Edwards and E. A. Lee, "The Case for the Precision Timed (PRET) Machine," in Proceedings of the 44th annual conference on Design automation. SESSION: Wild and crazy ideas (WACI), June 2007, pp. 264 -- 265.
[28]
M. Zimmer, D. Broman, C. Shaver, and E. A. Lee, "FlexPRET: A Processor Platform for Mixed-Criticality Systems," in Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), April 2014.
[29]
Y. Kim, D. Broman, J. Cai, and A. Shrivastaval, "WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores," in 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 2014, pp. 179--188.
[30]
J. Lu, K. Bai, and A. Shrivastava, "SSDM: Smart Stack Data Management for Software Managed Multicores (SMMs)," in Proceedings of the 50th Annual Design Automation Conference. ACM, 2013, p. 149.
[31]
K. Bai, J. Lu, A. Shrivastava, and B. Holton, "CMSM: An Efficient and Effective Code Management for Software Managed Multicores," in Hardware/Software Codesign and System Synthesis (CODES+ ISSS), 2013 International Conference on. IEEE, 2013, pp. 1--9.
[32]
NIST Public Working Group. (2015, September) Timing Framework for Cyber-Physical Systems, Technical Annex. {Online}. Available: https://pages.nist.gov/cpspwg/
[33]
IEEE. (2016, June) 802.1Qcc - Stream Reservation Protocol (SRP). {Online}. Available: http://www.ieee802.org/1/pages/802.1cc.html
[34]
IEEE. (2016, July) I. 802.1,Time-Sensitive Networking Task Group. {Online}. Available: http://www.ieee802.org/1/pages/tsn.html
[35]
H. A. Andrade, P. Derler, J. C. Eidson, Y. S. Li-Baboud, A. Shrivastava, K. Stanton, and M. Weiss, "Towards a Reconfigurable Distributed Testbed to Enable Advanced Research and Development of Timing and Synchronization in Cyber-Physical Systems," in 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig), Dec 2015, pp. 1--6.

Cited By

View all
  • (2024)Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, DesignProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3688348(1170-1179)Online publication date: 22-Sep-2024
  • (2024)On the effect of clock offsets and quantization on learning-based adversarial gamesAutomatica10.1016/j.automatica.2024.111762167(111762)Online publication date: Sep-2024
  • (2023)Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems2023 American Control Conference (ACC)10.23919/ACC55779.2023.10155865(2782-2787)Online publication date: 31-May-2023
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
CODES '16: Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis
October 2016
294 pages
ISBN:9781450344838
DOI:10.1145/2968456
© 2016 Association for Computing Machinery. ACM acknowledges that this contribution was authored or co-authored by an employee, contractor or affiliate of the United States government. As such, the United States Government retains a nonexclusive, royalty-free right to publish or reproduce this article, or to allow others to do so, for Government purposes only.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 2016

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Conference

ESWEEK'16
ESWEEK'16: TWELFTH EMBEDDED SYSTEM WEEK
October 1 - 7, 2016
Pennsylvania, Pittsburgh

Acceptance Rates

Overall Acceptance Rate 280 of 864 submissions, 32%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)19
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Modelling of Cyber-Physical Systems through Domain-Specific Languages: Decision, Analysis, DesignProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3688348(1170-1179)Online publication date: 22-Sep-2024
  • (2024)On the effect of clock offsets and quantization on learning-based adversarial gamesAutomatica10.1016/j.automatica.2024.111762167(111762)Online publication date: Sep-2024
  • (2023)Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems2023 American Control Conference (ACC)10.23919/ACC55779.2023.10155865(2782-2787)Online publication date: 31-May-2023
  • (2021)Composable Finite State Machine-based Modeling for Quality-of-Information-aware Cyber-physical SystemsACM Transactions on Cyber-Physical Systems10.1145/33862445:2(1-27)Online publication date: 20-Jan-2021
  • (2020)Data flow analysis from UML/MARTE models based on binary traces2020 XXXV Conference on Design of Circuits and Integrated Systems (DCIS)10.1109/DCIS51330.2020.9268671(1-6)Online publication date: 18-Nov-2020
  • (2020)Time and Frequency MetrologyMetrology for Inclusive Growth of India10.1007/978-981-15-8872-3_5(197-236)Online publication date: 10-Nov-2020
  • (2019)Crossroads+ACM Transactions on Cyber-Physical Systems10.1145/33641824:2(1-28)Online publication date: 16-Nov-2019
  • (2019)WCET-Aware Stack Frame Management of Embedded Systems Using Scratchpad Memories2019 32nd International Conference on VLSI Design and 2019 18th International Conference on Embedded Systems (VLSID)10.1109/VLSID.2019.00127(543-544)Online publication date: Jan-2019
  • (2018)Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES)10.1109/SIES.2018.8442095(1-10)Online publication date: Jun-2018
  • (2018)RIM: Robust Intersection Management for Connected Autonomous Vehicles2018 IEEE Real-Time Systems Symposium (RTSS)10.1109/RTSS.2018.00014(35-44)Online publication date: Dec-2018
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media