Resilient estimation of synchronisation uncertainty through software clocks

Many pervasive and distributed systems require clocks synchronised to a unique and external reference time. Unfortunately, the actual difference between the time of a local clock and the reference time, called offset, is a variable factor that is very hard to compute: synchronisation mechanisms typically estimate the offset, without offering guarantees of closeness of the estimate to the true value. The paper gives a comprehensive description of the Reliable and Self-Aware Clock R&SAClock, a new software clock that provides both the current time and the synchronisation uncertainty, that is a self-adaptive and conservative estimate of the offset, thus being capable of monitoring synchronisation quality and detecting clock failures. Two different solutions are presented for the evaluation of the synchronisation uncertainty which differ in terms of performance and coverage, and are evaluated in the context of distributed wearable mobile devices intended for railway trackside workers.

[1]  Andrea Bondavalli,et al.  A New Approach and a Related Tool for Dependability Measurements on Distributed Systems , 2010, IEEE Transactions on Instrumentation and Measurement.

[2]  D. Macii,et al.  Synchronization Uncertainty Contributions in Wireless Sensor Networks , 2008, 2008 IEEE Instrumentation and Measurement Technology Conference.

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

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

[5]  Dario Petri,et al.  Accuracy comparison between techniques for the establishment of calibration intervals: application to atomic clocks , 2003, Proceedings of the 20th IEEE Instrumentation Technology Conference (Cat. No.03CH37412).

[6]  H. Risken Fokker-Planck Equation , 1984 .

[7]  Andrea Bondavalli,et al.  Experimental assessment of low-cost GPS-based localization in railway worksite-like scenarios , 2013 .

[8]  Mani B. Srivastava,et al.  Estimating clock uncertainty for efficient duty-cycling in sensor networks , 2009, TNET.

[9]  Umberto Tammaro,et al.  Experimental evaluation of the effects of in-channel interference on GPS receivers , 2011, 2011 IEEE International Workshop on Measurements and Networking Proceedings (M&N).

[10]  Daniele Fontanelli,et al.  Accurate time synchronization in PTP-based industrial networks with long linear paths , 2010, 2010 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication.

[11]  Peter H. Dana Global Positioning System (GPS) Time Dissemination for Real-Time Applications , 1997, Real-Time Systems.

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

[13]  Andrea Bondavalli,et al.  Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[14]  Andrea Bondavalli,et al.  A Self-Aware Clock for Pervasive Computing Systems , 2007, 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07).

[15]  Rajesh K. Gupta,et al.  Clock Synchronization with Deterministic Accuracy Guarantee , 2011, EWSN.

[16]  Deborah Estrin,et al.  Coping with irregular spatio-temporal sampling in sensor networks , 2004, CCRV.

[17]  Paulo Veríssimo,et al.  Distributed Systems for System Architects , 2001, Advances in Distributed Computing and Middleware.

[18]  Andrea Bondavalli,et al.  Experimental Validation of a Synchronization Uncertainty-Aware Software Clock , 2010, 2010 29th IEEE Symposium on Reliable Distributed Systems.

[19]  G. Scarpato,et al.  An online quality control system for GPS stations used for geodetic surveillance , 2012, 2012 IEEE International Instrumentation and Measurement Technology Conference Proceedings.

[20]  Andrea Bondavalli,et al.  Assuring Resilient Time Synchronization , 2008, 2008 Symposium on Reliable Distributed Systems.

[21]  Domenico Cotroneo,et al.  Assessing and improving the effectiveness of logs for the analysis of software faults , 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).

[22]  Andrea Bondavalli,et al.  Localization errors of low-cost GPS devices in railway worksite-like scenarios , 2011, 2011 IEEE International Workshop on Measurements and Networking Proceedings (M&N).

[23]  Andrea Bondavalli,et al.  Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System , 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.

[24]  Roger Sauter,et al.  Introduction to Probability and Statistics for Engineers and Scientists , 2005, Technometrics.

[25]  Kay Römer,et al.  Time Synchronization and Calibration in Wireless Sensor Networks , 2005, Handbook of Sensor Networks.

[26]  Andrea Bondavalli,et al.  An Experimental Framework for the Analysis and Validation of Software Clocks , 2009, SEUS.