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.

Time in Cyber-Physical Systems

Published

Author(s)

Marc A. Weiss, YaShian Li-Baboud, Aviral Shrivastava, Mohammad Khayatian, Patricia Derlery, Hugo A. Andrade, Sundeep Chandhoke, Kevin Stanton, John Eidson

Abstract

Many modern CPS, especially industrial automation systems, require the actions of multiple computational systems to be synchronized at much higher rates than is possible through ad hoc designs. Fundamental research is needed in synchronizing clocks of computing systems to a higher degree, and even if the clocks are synchronized, designing CPS nodes so that they can perform actions in a synchronized manner is challenging. We need to find ways to specify distributed CPS applications, ways to specify and verify timing requirements on distributed CPS, confident top-down design methodologies that can ensure the system meets its timing requirements in the first go \pd{"in the first go" is informal. Is "by design" better?}, dynamically creating and dissolving timing domains, application code that is readily and reliably adaptable to multiple platforms or systems, and much more. This paper discusses common timing requirements in CPS, as well as strategies for designing, implementing and testing time-aware systems.
Proceedings Title
Proceedings of the Association for Computing Machinery (ACM) International Conference on Hardware/Software-Codesign and Systems Synthesis (CODES+ISSS)
Conference Dates
October 2-7, 2016
Conference Location
Pittsburgh, PA

Keywords

Cyber-physical systems (CPS), synchronization, latency, temporal logic language, time-aware system design

Citation

Weiss, M. , Li-Baboud, Y. , Shrivastava, A. , Khayatian, M. , Derlery, P. , Andrade, H. , Chandhoke, S. , Stanton, K. and Eidson, J. (2016), Time in Cyber-Physical Systems, Proceedings of the Association for Computing Machinery (ACM) International Conference on Hardware/Software-Codesign and Systems Synthesis (CODES+ISSS), Pittsburgh, PA (Accessed April 18, 2024)
Created October 2, 2016, Updated February 19, 2017