دانلود Benchmark for Verification of Fault-Tolerant Clock Synchronization Algorithms

Abstract

In this paper, we propose a benchmark for verification of properties of fault-tolerant clock synchronization algorithms, namely, a benchmark of a TTEthernet network, where properties of the clock synchronization algorithm as implemented in a TTEthernet net-work can be verified, and optimization techniques for verification purposes can be applied. Our benchmark,  which assumes non-faulty components,  aims to be a basis for verifying configurations which include faulty components, information consistency mechanisms, and for verifying other clock synchronization algorithms.