Many industrial automation systems rely on time-synchronized (and timely) communication among sensing, computing, and actuating devices. Advances in Ethernet enabled by time-sensitive networking (TSN) standards, being developed by the IEEE 802.1 TSN Task Group, are significantly improving time synchronization as well as worst case latencies. Next-generation industrial systems are expected to leverage advances in distributed time coordinated computing and wireless communications to enable greater levels of automation, efficiency, and flexibility. Significant progress has been made in extending accurate time synchronization over the air (e.g., 802.1AS profile for IEEE 802.11/Wi-Fi). Given the inherently unreliable, varying capacity and latency prone characteristics associated with wireless communications, proving the feasibility of worst case latency performance over the wireless medium is a major research challenge. More specifically, understanding what levels of capacity, reliability, and latency could be guaranteed over wireless links with high reliability are important research questions to guide the development of new radios, protocols, and time coordinated applications. This paper provides an overview of the potential applications, requirements, and unique research challenges to extend TSN capabilities over wireless. The paper also describes advances in wireless technologies (e.g., next-generation 802.11 and 5G standards) toward achieving reliable and accurate time distribution and timeliness capabilities. It also provides a classification of wireless applications and a reference architecture for enabling the integration of wired and wireless TSN capabilities in future industrial automation systems.

Time is a foundational aspect of Cyber-Physical Systems (CPS). Correct time and timing of system events are 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, both the specification and verification of timing requirements of the CPS are typically 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 the design and initial 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 verified timing testbed on two distributed CPS case studies.

In order to test the performance and verify the correctness of Cyber-Physical Systems (CPS), the timing constraints on the system behavior must be met. Signal Temporal Logic (STL) can efficiently and succinctly capture the timing constraints of a given system model. However, many timing constraints on CPS are more naturally expressed in terms of events on signals. While it is possible to specify event-based timing constraints in STL, such statements can quickly become long and arcane in even simple systems. Timing constraints for CPS, which can be large and complex systems, are often associated with tolerances, the expression of which can make the timing constraints even more cumbersome using STL. This paper proposes a new logic, Timestamp Temporal Logic (TTL), to provide a definitional extension of STL that more intuitively expresses the timing constraints of distributed CPS. TTL also allows for a more natural expression of timing tolerances. Additionally, this paper outlines a methodology to automatically generate logic code and programs to monitor the expressed timing constraints. Since our TTL monitoring logic evaluates the timing constraints using only the timestamps of the required events on the signal, the TTL monitoring logic has significantly less memory footprint when compared to traditional STL monitoring logic, which stores the signal value at the required sampling frequency. The key contribution of this paper is a scalable approach for online monitoring of the timing constraints. We demonstrate the capabilities of TTL and our methodology for online monitoring of TTL constraints on two case studies: 1) Synchronization and phase control of two generators and, 2) Simultaneous image capture using distributed cameras for 3D image reconstruction.

The IEEE 802.1 Audio/Video Bridging Task Group has created a series of IEEE standards that specify methods used to provide the appropriate quality of service (QoS) for audio/video (A/V) streams in a heterogeneous network. This paper describes the requirements for such a network and summarizes the methods described in these standards and how they are used in some example higher layer protocols.