Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

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
Created October 2, 2016, Updated February 19, 2017