Speculative Precision Time Protocol: Submicrosecond clock synchronization for the IoT

Time synchronization is a keystone of Wireless Sensor Networks (WSN). It is fundamental to coordinate the action of nodes in a network and it is also a critical element of several security mechanisms. In this paper, we discuss and evaluate the time synchronization strategy behind the Trustful Space-Time Protocol (TSTP), which explores the protocol's cross-layer architecture to speculatively peek through the timestamps and geographic info present in message headers, implementing high-accuracy clock synchronization with minimal insertion of explicit messages. We evaluate the protocol analytically and experimentally. The analytic evaluation is based on the model defined by Schmid [15] for the Virtual High-resolution Time (VHT), while the experimental evaluation was performed on the IEEE 802.15.4-compliant EPOSMote platform running EPOS and TSTP. Our results demonstrate that nodes in the network can be consistently synchronized with sub-microsecond precision while exchanging far less messages than they would with an ordinary, non-speculative implementation, resulting in energy savings. Indeed, precision and energy savings are higher for networks with higher traffic, since more messages are available for peeking. In an experiment scenario in which messages were exchanged between devices every 15 seconds, nodes in the network achieved a synchronization error of approximately 15 microseconds in the worst case, while in a scenario in which messages were exchanged every 3 seconds, synchronization error was less than 0.5 microseconds in the worst case, and approximately 0.25 microseconds on average.

[1]  Antônio Augusto Fröhlich,et al.  Design rationale of a cross-layer, Trustful Space-Time Protocol for Wireless Sensor Networks , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[2]  Flaviu Cristian,et al.  Probabilistic clock synchronization , 1989, Distributed Computing.

[3]  Gyula Simon,et al.  The flooding time synchronization protocol , 2004, SenSys '04.

[4]  Hui Zhou,et al.  Frequency Accuracy & Stability Dependencies of Crystal Oscillators , 2008 .

[5]  L. Lewis An introduction to frequency standards , 1991, Proc. IEEE.

[6]  A. M. Mehta,et al.  Frequency offset compensation for crystal-free 802.15.4 communication , 2011, The 2011 International Conference on Advanced Technologies for Communications (ATC 2011).

[7]  Riccardo Gusella,et al.  The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD , 1987, IEEE Trans. Software Eng..

[8]  Antônio Augusto Fröhlich,et al.  TSTP MAC: A Foundation for the Trustful Space-Time Protocol , 2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES).

[9]  J. Elson,et al.  Fine-grained network time synchronization using reference broadcasts , 2002, OSDI '02.

[10]  Antônio Augusto Fröhlich,et al.  Key Establishment and Trustful Communication for the Internet of Things , 2015, SENSORNETS.

[11]  David L. Mills,et al.  Internet time synchronization: the network time protocol , 1991, IEEE Trans. Commun..

[12]  Antônio Augusto Fröhlich,et al.  TSTP MAC : a Cross-Layer , Geographic , Receiver-Based MAC Protocol for WSNs , 2015 .

[13]  Mani B. Srivastava,et al.  High-resolution, low-power time synchronization an oxymoron no more , 2010, IPSN '10.

[14]  Kang Lee,et al.  IEEE 1588 standard for a precision clock synchronization protocol for networked measurement and control systems , 2002, 2nd ISA/IEEE Sensors for Industry Conference,.

[15]  John C. Eidson,et al.  Measurement, Control, and Communication Using IEEE 1588 (Advances in Industrial Control) , 2006 .

[16]  David E. Culler,et al.  A building block approach to sensornet systems , 2008, SenSys '08.