Resilient estimation of synchronisation uncertainty through software clocks

International Journal of Critical Computer-Based Systems

Volumn 4, Issue 4, 2013, Pages 301-322

  Bondavalli, Andrea ^a   Brancati, Francesco ^b   Ceccarelli, Andrea ^a   Falai, Lorenzo ^b   Vadursi, Michele ^c  

^a UNIVERSITY OF FLORENCE   (Italy)

^b Resiltech SRL   (Italy)

^c UNIVERSITY OF NAPLES PARTHENOPE   (Italy)

Author keywords

GPS; Measurement; NTP; Pervasive systems; Reliable and Self Aware Clock RandSAClock; Software clocks; Synchronisation uncertainty; Time reference; Uncertainty

Indexed keywords

EID: 84892541340     PISSN: 17578779     EISSN: 17578787     Source Type: Journal    
DOI: 10.1504/IJCCBS.2013.059038     Document Type: Article

References (31)

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