skip to main content
10.1145/3061639.3072955acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
research-article

A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited

Published: 18 June 2017 Publication History

Abstract

Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of system events are critical to optimized responsiveness to the environment, in terms of timeliness, accuracy, and precision in the knowledge, measurement, prediction, and control of CPS behavior. However, both the specification and verification of timing requirements of the CPS are typically done in an ad-hoc manner. While feasible, the system can become costly and difficult to analyze and maintain, and the process of implementing and verifying correct timing behavior can be error-prone. Towards the development of a verification testbed for testing timing behavior in tools and platforms with explicit time support, this paper first describes a way to express the various kinds of timing constraints in distributed CPS. Then, we outline the design and initial implementation of a distributed testbed to verify the timing of a distributed CPS analytically through a systematic framework. Finally, we illustrate the use of the verified timing testbed on two distributed CPS case studies.

References

[1]
"IEEE/NIST Timing challenges in the Smart Grid Workshop 2017." http://nvlpubs.nist.gov/nistpubs/SpecialPublications/NIST.SP.1500-08.pdf. {Online; Jan 2017 NIST}.
[2]
E. A. Lee, "Cyber Physical Systems: Design Challenges," in ISORC, 2008.
[3]
A. Shrivastava et al., "Time in Cyber-Physical Systems," in Proc. of CODES+ISSS, 2016.
[4]
"NIST Time and Frequency from A to Z Glossary." https://www.nist.gov/time-and-frequency-services/d. {Online} Accessed: 2017-03-21}.
[5]
J. C. Eidson and K. B. Stanton, "Timing in Cyber-Physical Systems: The Last Inch Problem," in Precision Clock Synchronization for Measurement, Control, and Communication (ISPCS), 2015 IEEE International Symposium on, pp. 19--24, IEEE, 2015.
[6]
D. L. Mills, "RFC 1305: Network Time Protocol (Version 3) Specification," Implementation and Analysis, 1992.
[7]
"IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems," IEEE Std 1588-2008 (Revision of IEEE Std 1588-2002), pp. 1--269, July 2008.
[8]
M. Lipiński, T. Włostowski, J. Serrano, and P. Alvarez, "White Rabbit: A PTP Application for Robust Sub-nanosecond Synchronization," in ISPCS, pp. 25--30, IEEE, 2011.
[9]
S. Paris, Extraction of Three-dimensional Information from Images--Application to Computer Graphics. PhD thesis, Université Joseph-Fourier-Grenoble I, 2004.
[10]
M. K. Fard, M. Yazdi, and M. MasnadiShirazi, "A Block Matching Based Method for Moving Object Detection in Active Camera," in IKT, IEEE, 2013.
[11]
N. Mohan and T. M. Undeland, Power Electronics: Converters, Applications, and Design. John Wiley & Sons, 2007.
[12]
North American Electric Reliability Council, "Frequency Excursions." http://www.nerc.com/pa/RAPA/PA/Pages/FrequencyExcursions.aspx. {Online; accessed 17-March-2017}.
[13]
"NI Time Sync, Version 1.1." http://www.ni.com/pdf/manuals/373185a.pdf. {Online; 2010 National Instruments Corporation}.

Cited By

View all
  • (2023)A run-time verification method with consideration of uncertainties for cyber–physical systemsMicroprocessors & Microsystems10.1016/j.micpro.2023.104890101:COnline publication date: 1-Sep-2023
  • (2019)Crossroads+ACM Transactions on Cyber-Physical Systems10.1145/33641824:2(1-28)Online publication date: 16-Nov-2019
  • (2018)An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systemsProceedings of the 55th Annual Design Automation Conference10.1145/3195970.3196130(1-6)Online publication date: 24-Jun-2018
  • Show More Cited By
  1. A Testbed to Verify the Timing Behavior of Cyber-Physical Systems: Invited

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    DAC '17: Proceedings of the 54th Annual Design Automation Conference 2017
    June 2017
    533 pages
    ISBN:9781450349277
    DOI:10.1145/3061639
    © 2017 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.

    Sponsors

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 18 June 2017

    Permissions

    Request permissions for this article.

    Check for updates

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    DAC '17
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

    Upcoming Conference

    DAC '25
    62nd ACM/IEEE Design Automation Conference
    June 22 - 26, 2025
    San Francisco , CA , USA

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

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

    Other Metrics

    Citations

    Cited By

    View all
    • (2023)A run-time verification method with consideration of uncertainties for cyber–physical systemsMicroprocessors & Microsystems10.1016/j.micpro.2023.104890101:COnline publication date: 1-Sep-2023
    • (2019)Crossroads+ACM Transactions on Cyber-Physical Systems10.1145/33641824:2(1-28)Online publication date: 16-Nov-2019
    • (2018)An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systemsProceedings of the 55th Annual Design Automation Conference10.1145/3195970.3196130(1-6)Online publication date: 24-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
    • (2018)A Virtual Prototype Semihosting Approach for Early Simulation of Cyber-Physical Systems2018 IEEE Symposium on Computers and Communications (ISCC)10.1109/ISCC.2018.8538621(00208-00213)Online publication date: Jun-2018
    • (2018)Review on Testing of Cyber Physical Systems: Methods and TestbedsIEEE Access10.1109/ACCESS.2018.28698346(52179-52194)Online publication date: 2018
    • (2017)Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical SystemsACM Transactions on Embedded Computing Systems10.1145/312651016:5s(1-20)Online publication date: 27-Sep-2017

    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