Integration of internal and external clock synchronization by the combination of clock-state and clock-rate correction in fault-tolerant distributed systems

This paper proposes the integration of internal and external clock synchronization by a combination of a fault-tolerant distributed algorithm for clock state correction with a central algorithm for clock rate correction. By means of hardware and simulation experiments it is shown that this combination improves the precision of the global time base in a distributed single cluster system while reducing the need for high-quality oscillators. Simulation results have shown that the rate-correction algorithm contributes not only in the internal clock synchronization of a single cluster system, but it can be used for external clock synchronization of a multi-cluster system with a reference clock. Therefore, deployment of the rate-correction algorithm integrates internal and external clock synchronization in one mechanism. Experimental results show that a failure in the clock rate correction does not hinder the distributed fault-tolerant clock state synchronization algorithm, since the state correction operates independently from the rate correction. The paper introduces new algorithms and presents experimental results on the achieved improvements in the precision measured in a time-triggered system. Results of simulation experiments of the new algorithms in single-cluster and multi-cluster configurations are also presented.

[1]  H. Pfeifer,et al.  Formal verification for time-triggered clock synchronization , 1999, Dependable Computing for Critical Applications 7.

[2]  Klaus Schossmaier,et al.  An algorithm for fault-tolerant clock state & rate synchronization , 1999, Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems.

[3]  Eberhardt Rechtin,et al.  The art of systems architecting (2nd ed.) , 2000 .

[4]  Nancy A. Lynch,et al.  A New Fault-Tolerance Algorithm for Clock Synchronization , 1988, Inf. Comput..

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

[6]  I. Puaut,et al.  A Taxonomy of Clock Synchronization Algorithms , 1997 .

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

[8]  P. M. Melliar-Smith,et al.  Synchronizing clocks in the presence of faults , 1985, JACM.

[9]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[10]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[11]  Nancy A. Lynch,et al.  A new fault-tolerant algorithm for clock synchronization , 1984, PODC '84.

[12]  Astrit Ademaj Slightly-off-specification failures in the time-triggered architecture , 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..

[13]  Arno Meyna,et al.  Reliability of Electronic Control Units in Motor Vehicles , 1998 .

[14]  Fred B. Schneider,et al.  A Paradigm for Reliable Clock Synchronization , 1986 .

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