NOTICE: Due to a lapse in annual appropriations, most of this website is not being updated. Learn more.
Form submissions will still be accepted but will not receive responses at this time. Sections of this site for programs using non-appropriated funds (such as NVLAP) or those that are excepted from the shutdown (such as CHIPS and NVD) will continue to be updated.
An official website of the United States government
Here’s how you know
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.
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
Pub Type
Conferences
Keywords
Cyber-physical systems (CPS), synchronization, latency, temporal logic language, time-aware system design
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 October 10, 2025)