Assuring resilient time synchronization

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 2008, Pages 3-12

  Bondavalli, Andrea ^a   Ceccarelli, Andrea ^a   Falai, Lorenzo ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; SYNCHRONIZATION; UBIQUITOUS COMPUTING;

AND ENVIRONMENTS; EXTERNAL-; GLOBAL TIMES; LINUX OSSA; PERVASIVE SYSTEMS; SELF-ADAPTIVE; SOFTWARE SERVICES; SYNCHRONIZATION MECHANISMS; TIME SYNCHRONIZATIONS; UPPER BOUNDS;

CLOCKS;

EID: 58149092425     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SRDS.2008.12     Document Type: Conference Paper

References (18)

1. C. Almeida and P. Veríssimo. Using the timely computing base for dependable qos adaptation. In 20th IEEE Symposium on Reliable Distributed Systems (SRDS'01), 2001.
2. A. Avizienis, J. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE TDSC, 1(1):Page(s): 11-33, 2004.
3. BIMP, IEC, IFCC, ISO, IUPAC, and OIML. Guide to the expression of uncertainty in measurement, 1993.
4. BIMP, IEC, IFCC, ISO, IUPAC, and OIML. ISO International Vocabulary of Basic and General Terms in Metrology (VIM), third edition edition, 2004.
5. A. Bondavalli, A. Ceccarelli, and L. Falai. A self-aware clock for pervasive computing systems. In PDP '07: Proceedings of the 15th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Washington, DC, USA, 2007. IEEE Computer Society.
6. A. Bondavalli, A. Ceccarelli, and L. Falai. Reliable and self-aware clock: complete description. Technical report, University of Florence, 2008.
7. A. Bondavalli, A. Ceccarelli, L. Falai, and M. Vadursi. Towards making nekostat a proper measurement tool for the validation of distributed systems. In Proceedings of The 8th International Symposium on Autonomous Decentralized Systems, March 2007.
8. P. H. Dana. Global Positioning System (GPS) time dissemination for real-time applications. Real-Time Systems, 12(1):9-40, January 1997.
9. J. Elson, L. Girod, and D. Estrin. Fine-grained network time synchronization using reference broadcasts. SIGOPS Oper. Syst. Rev., 36(SI): 147-163, 2002.
10. L. Falai. Observing, Monitoring and Evaluating Distributed Systems. PhD thesis, University of Florence, 2008.
11. D. Ganesan, S. Ratnasamy, H. Wang, and D. Estrin. Coping with irregular spatio-temporal sampling in sensor networks. SIGCOMM Comput. Commun. Rev., 34(1):125-130, 2004.
12. HIDENETS. Deliverable 3.3 - mechanisms to provide strict dependability and real-time requirements, 2008.
13. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558-565, 1978.
14. J. Levine and D. Mills. Using the network time protocol (ntp) to transmit international atomic time (tai). In 32nd Annual Precise Time and Time Interval Systems and Applications Meeting; 28-30, pages 431-440, Reston, VA; USA;, 2000.
15. D. Mills. Internet time synchronization: the network time protocol. IEEE Trans. Communications 39, 10, pages 1482-1493, 1991.
16. K. Römer, P. Blum, and L. Meier. Time synchronization and calibration in wireless sensor networks. In I. Stojmenovic, editor, Handbook of Sensor Networks: Algorithms and Architectures, pages 199-237. John Wiley & Sons, Sept. 2005.
17. M. Satyanarayanan and et al. Pervasive computing: Vision and challenges. Personal Communications, IEEE, 8(4):pp. 10-17, August 2001.
18. P. Verissimo and L. Rodriguez. Distributed Systems for System Architects. Kluwer Academic Publisher, 2001.