Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

A Testbed to Verify Timing Behavior of Cyber-Physical Systems

Published

Author(s)

Aviral Shrivastava, Mohammad Khayatian, Mohammadreza Mehrabian, Hugo A. Andrade, Patricia Derler, Ya-Shian Li-Baboud, Edward Griffor, Marc A. Weiss, John Eidson, Kevin Stanton

Abstract

Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of system events is 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 typically both the specification and verification of timing requirements of the CPS are 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 our idea and 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 timing testbed on two distributed CPS case studies..
Proceedings Title
Proceedings of Design Automation Conference
Conference Dates
June 18-22, 2017
Conference Location
Austin, TX, US
Conference Title
Design Automation Conference

Keywords

Timing constraints, real-time, CPS, distributed system, testbed frameworks

Citation

Shrivastava, A. , Khayatian, M. , Mehrabian, M. , Andrade, H. , Derler, P. , Li-Baboud, Y. , Griffor, E. , Weiss, M. , Eidson, J. and Stanton, K. (2017), A Testbed to Verify Timing Behavior of Cyber-Physical Systems, Proceedings of Design Automation Conference, Austin, TX, US, [online], https://doi.org/10.1145/3061639.3072955, https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=923125 (Accessed July 15, 2024)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created June 17, 2017, Updated October 12, 2021