Time in Cyber-Physical Systems

Published

October 2, 2016

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

Pub Type

Conferences

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 25, 2024)