A Survey of Provably Correct Fault-Tolerant Clock Synchronization Techniques


Book Description

Six provably correct fault-tolerant clock synchronization algorithms are examined. These algorithms are all presented in the same notation to permit easier comprehension and comparison. The advantages and disadvantages of the different techniques are examined and issues related to the implementation of these algorithms are discussed. The paper argues for the use of such algorithms in life-critical applications. Butler, Ricky W. Langley Research Center RTOP 505-66-21-01...




A Survey of Provably Correct Fault-Tolerant Clock Synchronization Techniques


Book Description

Six provably correct fault-tolerant clock synchronization algorithms are examined. These algorithms are all presented in the same notation to permit easier comprehension and comparison. The advantages and disadvantages of the different techniques are examined and issues related to the implementation of these algorithms are discussed. The paper argues for the use of such algorithms in life-critical applications. Butler, Ricky W. Langley Research Center RTOP 505-66-21-01...




NASA Technical Paper


Book Description




NASA Technical Paper


Book Description