Validation of a fault-tolerant clock synchronization system

A validation method for the synchronization subsystem of a fault tolerant computer system is investigated. The method combines formal design verification with experimental testing. The design proof reduces the correctness of the clock synchronization system to the correctness of a set of axioms which are experimentally validated. Since the reliability requirements are often extreme, requiring the estimation of extremely large quantiles, an asymptotic approach to estimation in the tail of a distribution is employed

Cooperative Synchronization in Wireless Networks

Synchronization is a key functionality in wireless network, enabling a wide variety of services. We consider a Bayesian inference framework whereby network nodes can achieve phase and skew synchronization in a fully distributed way. In particular, under the assumption of Gaussian measurement noise, we derive two message passing methods (belief propagation and mean field), analyze their convergence behavior, and perform a qualitative and quantitative comparison with a number of competing algorithms. We also show that both methods can be applied in networks with and without master nodes. Our performance results are complemented by, and compared with, the relevant Bayesian Cram\'er-Rao bounds

Multi-Channel Two-way Time of Flight Sensor Network Ranging

Two-way time of flight (ToF) ranging is one of the most interesting approaches for localization in wireless sensor networking since previous ToF ranging approaches using commercial off-the-shelf (COTS) devices have achieved good accuracy. The COTS-based approaches were, however, evaluated only in line-of-sight conditions. In this paper, we extend ToF ranging using multiple IEEE 802.15.4 channels. Our results demonstrate that with multiple channels we can achieve good accuracy even in non line-of-sight conditions. Furthermore, our measurements suggest that the variance between different channels serves as a good estimate of the accuracy of the measurements, which can be valuable information for applications that require localization information