Skip to main content
Search
Search
Quick Search anywhere
Quick Search anywhere
Quick Search anywhere
Quick Search anywhere
Quick Search anywhere
Quick Search anywhere
Advanced Search
Skip main navigation
No Access

Resilient estimation of synchronisation uncertainty through software clocks

Published Online:February 3, 2014pp 301-322https://doi.org/10.1504/IJCCBS.2013.059038

Abstract

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.

Keywords

pervasive systems, software clocks, Reliable and Self-Aware Clock R&SAClock, measurement, uncertainty, synchronisation uncertainty, time reference, NTP, GPS

References

  • 1. ALARP (2010). ‘A railway automatic track warning system based on distributed personal mobile terminals – Project Contract FP7-SST-2010-234088’. (accessed 28 October 2010), [online] http://www.alarp.eu Google Scholar
  • 2. Avizienis, A. , Laprie, J.C. , Randell, B. , Landwehr, C. (2004). ‘Basic concepts and taxonomy of dependable and secure computing’. IEEE TDSC. 1, 1, 11-33 Google Scholar
  • 3. Barnes, J.A. , Chi, A.R. , Cutler, L.S. , Healey, D.J. , Leeson, D.B. , McGunigal, T.E. , Mullen, J.A. , Smith, W.L. , Sydnor, R.L. , Vessot, R.F.C. , Winkler, G,M.R. ‘Characterization of frequency stability’. Instrumentation and Measurement, IEEE Transactions on. 1971, 05, IM–20, 2, 105-120 Google Scholar
  • 4. Bondavalli, A. , Brancati, F. , Ceccarelli, A. , Falai, L. (2009). ‘An experimental framework for the analysis and validation of software clocks’. LNCS Software Technologies for Embedded and Ubiquitous Systems (SEUS). 69-81 Google Scholar
  • 5. Bondavalli, A. , Ceccarelli, A. , Falai, L. (2007a). ‘A self-aware clock for pervasive computing systems’. PDP ‘07: Proceedings of the 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing. Washington, DC, USA:IEEE Computer Society , 403-411 Google Scholar
  • 6. Bondavalli, A. , Ceccarelli, A. , Falai, L. , Vadursi, M. (2007b). ‘Foundations of measurement theory applied to the evaluation of dependability attributes’. DSN ‘07: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Washington, DC, USA:IEEE Computer Society , 522-533 Google Scholar
  • 7. Bondavalli, A. , Ceccarelli, A. , Falai, L. (2008). SRDS ‘08: Proceedings of the 2008 Symposium on Reliable Distributed Systems. Washington, DC, USA:IEEE Computer Society , 3-12 Google Scholar
  • 8. Bondavalli, A. , Ceccarelli, A. , Falai, L. , Vadursi, M. ‘A new approach and a related tool for dependability measurements on distributed systems’. IEEE Trans. on Instrum. and Meas.. 2010a, 04, 59, 4, 820-831 Google Scholar
  • 9. Bondavalli, A. , Ceccarelli, A. , Falai, L. , Vadursi, M. (2010b). ‘Experimental validation of a synchronization uncertainty-aware software clock’. SRDS ‘10: Proceedings of the 2010 Symposium on Reliable Distributed Systems. Washington, DC, USA:IEEE Computer Society , 245-254 Google Scholar
  • 10. Bondavalli, A. , Ceccarelli, A. , Gogaj, F. , Seminatore, A. , Vadursi, M. ‘Localization errors of low-cost GPS devices in railway worksite-like scenarios’. Proc. of IEEE Intern. Workshop on Measurements and Networking M&N 2011. 2011, 10, 6-11 Google Scholar
  • 11. Bondavalli, A. , Ceccarelli, A. , Gogaj, F. , Seminatore, A. , Vadursi, M. (2013). ‘Experimental assessment of low-cost GPS-based localization in railway worksite-like scenarios’. Measurement. 46, 1, 456-466 Google Scholar
  • 12. Ceccarelli, A. , Bondavalli, A. , Figueiras, J. , Malinowsky, B. , Wakula, J. , Brancati, F. , Dambra, C. , Seminatore, A. (2012). ‘Design and implementation of realtime wearable devices for a safety-critical track warning system’. High-Assurance Systems Engineering (HASE), 2012 IEEE 14th International Symposium on, IEEE, 147-154 Google Scholar
  • 13. Cinque, M. , Cotroneo, D. , Natella, R. , Pecchia, A. (2010). ‘Assessing and improving the effectiveness of logs for the analysis of software faults’. DSN ’10: Proceedings of the 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. 28 June–1 July, Chicago, IL, USA, Washington DC, USA:IEEE Computer Society , 457-466 Google Scholar
  • 14. Cristian, F. (1989). ‘Probabilistic clock synchronization’. Distributed Computing. 3, 3, 146-158 Google Scholar
  • 15. Dana, P.H. ‘Global positioning system (GPS) time dissemination for real-time applications’. Real-Time Systems. 1997, 01, 12, 1, 9-40 Google Scholar
  • 16. Ganeriwal, S. , Tsigkogiannis, I. , Shim, H. , Tsiatsis, V. , Srivastava, M.B. , Ganesan, D. ‘Estimating clock uncertainty for efficient duty-cycling in sensor networks’. IEEE/ACM Trans. Netw.. 2009, 06, 17, 3, 843-856 Google Scholar
  • 17. Ganesan, D. , Ratnasamy, S. , Wang, H. , Estrin, D. (2004). ‘Coping with irregular spatio-temporal sampling in sensor networks’. SIGCOMM Comput. Commun. Rev.. 34, 1, 125-130 Google Scholar
  • 18. JCGM (2008). Guide to the Expression of Uncertainty In Measurement. Google Scholar
  • 19. JCGM (2008). ISO International Vocabulary of Basic and General Terms in Metrology (VIM). 3rd ed Google Scholar
  • 20. Macii, D. , Fontanelli, D. ‘Accurate time synchronization in ptp-based industrial networks with long linear paths’. Proc. of IEEE Intern. Symp. on Precision Clock Synchronization for Measurement Control and Communication (ISPCS). 2010, 09, 97-102 Google Scholar
  • 21. Macii, D. , Tavella, P. , Perone, E. , Carbone, P. , Petri, D. (2004). ‘Accuracy comparison between techniques for the establishment of calibration intervals: application to atomic clocks’. IEEE Trans. on Instr. and Meas.. 53, 4, 1167-1172 Google Scholar
  • 22. Maróti, M. , Kusy, B. , Simon, G. , Lédeczi, A. (2004). ‘The flooding time synchronization protocol’. Proceedings of the 2nd international conference on Embedded networked sensor systems, SenSys ‘04. New York, NY, USA:ACM , 39-49 Google Scholar
  • 23. Mills, D.L. (1991). ‘Internet time synchronization: the network time protocol’. IEEE Trans. Communications. 39, 10, 1482-1493 Google Scholar
  • 24. Petri, D. , Ageev, A. , Macii, D. ‘Synchronization uncertainty contributions in wireless sensor networks’. Proc. of IEEE Instr. and Meas. Tech. Conf. IMTC 2008. 2008, 05, 1896-1991 Google Scholar
  • 25. Risken, H. (1989). The Fokker-Planck Equation: Methods of Solutions and Applications. 2nd ed., Berlin Heidelberg:Springer Google Scholar
  • 26. Römer, K. , Blum, P. , Meier, L. , Stojmenovic, I. ‘Time synchronization and calibration in wireless sensor networks’. Handbook of Sensor Networks: Algorithms and Architectures. 2005, 09, John Wiley & Sons, 199-237 Google Scholar
  • 27. Ross, S.M. (2004). Introduction to Probability and Statistics for Engineers and Scientists. 3rd ed., MA, USA:Elsevier Academic Press , Printed in Canada Google Scholar
  • 28. Sugihara, R. , Gupta, R.K. (2011). ‘Clock synchronization with deterministic accuracy guarantee’. Proceedings of the 8th European conference on Wireless sensor networks, EWSN’11. Berlin, Heidelberg:Springer-Verlag , 130-146 Google Scholar
  • 29. Tammaro, U. , Vadursi, M. , D’Arco, M. , Scarpato, G. ‘An online quality control system for GPS stations used for geodetic surveillance’. Proc. of IEEE Intern. Instr. and Meas. Tech. Conf. I2MTC 2012. 2012, 05, 507-501 Google Scholar
  • 30. Tammaro, U. , Vadursi, M. , D’Arco, M. , Scarpato, G. ‘Experimental evaluation of the effects of in-channel interference on GPS receivers’. Proc. of IEEE Intern: Workshop on Measurements and Networking M&N. 2011, 10, 42-46 Google Scholar
  • 31. Veitch, D. , Babu, S. , Pàsztor, A. (2004). ‘Robust synchronization of software clocks across the internet’. IMC ‘04: Proceedings of the 4th ACMSIGCOMM Conference on Internet Measurement. New York, NY, USA:ACM , 219-232 Google Scholar
  • 32. Veríssimo, P. , Rodriguez, L. (2001). Distributed Systems for System Architects. Norwell, MA:Kluwer Academic Publisher Google Scholar
Next article