![]() All timing measures of variables are based on the node s local clock, and no central clock or externally generated pulse is used. This protocol does not rely on assumptions about the initial state of the system other than the presence of sufficient number of good nodes. Instances of the protocol are proven to tolerate bursts of transient failures and deterministically converge with a linear convergence time with respect to the synchronization period. A model of this protocol is mechanically verified using the Symbolic Model Verifier (SMV) where the entire state space is examined and proven to self-stabilize in the presence of one arbitrary faulty node. It is focused on clock synchronization of a system in the presence of Byzantine faults after the cause of any transient faults has dissipated. This report presents a rapid Byzantine-fault-tolerant self-stabilizing clock synchronization protocol that is independent of application-specific requirements. The convergence time is linear with respect to the self-stabilization period.Ī Self-Stabilizing Byzantine-Fault-Tolerant Clock Synchronization Protocol The protocol converges deterministically, is scalable, and self-stabilizes in a short amount of time. Furthermore, there is neither a central clock nor an externally generated pulse system. ![]() The Byzantine self-stabilizing clock synchronization protocol does not rely on any assumptions about the initial state of the clocks. Upon self-stabilization, all good clocks proceed synchronously. All rights reserved.īyzantine-fault tolerant self-stabilizing protocol for distributed clock synchronization systemsĪ rapid Byzantine self-stabilizing clock synchronization protocol that self-stabilizes from any state, tolerates bursts of transient failures, and deterministically converges within a linear convergence time with respect to the self-stabilization period. Numerical simulations are shown to illustrate the performance of the proposed protocol. At last, a pseudo- synchronous implementation for skew compensation is introduced as synchronous protocol is unrealistic in practice. Moreover, by restricting synchronization error of clock skew into a relative small quantity, it could reduce periodic re- synchronization frequencies. Compared with existing consensus-based approaches, the proposed synchronization protocol improves synchronization accuracy under time-varying clock skews. ![]() As each local clock skew gradually drifts, synchronization accuracy will decline over time. This paper proposes a proportional integral estimator-based protocol (EBP) to achieve clock synchronization for wireless sensor networks. A proportional integral estimator-based clock synchronization protocol for wireless sensor networks.Ĭlock synchronization is an issue of vital importance in applications of WSNs. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |