Time synchronisation is crucial for distributed systems, and particularly for Wireless Sensor Networks (WSNs), where each node is executing concurrent operations to achieve a real-time objective. However, synchronisation is quite difficult to achieve in WSNs, due to the unpredictable deployment conditions and to physical effects like thermal stress, that cause drifts in the local node clocks. As a result, state-of-the-art synchronisation schemes do not guarantee monotonicity of the nodes clock, or are relying on external hardware assistance. In this paper we present FLOPSYNC-2, a scheme to synchronise the clocks of multiple nodes in a WSN, requiring no additional hardware, and based on the application of control-theoretical principles. The scheme guarantees low overhead, low power consumption and synchronisation with clock monotonicity.We propose an implementation of FLOPSYNC-2 on top of the microcontroller operating system Miosix, and prove the validity of our claims with several-days-long experiments on an eight-hop network. The experimental results show that the average clock difference among nodes is limited to a hundred of ns, with a sub-μs standard deviation. By introducing a suitable power model, we also prove that synchronisation is achieved with a sub-μA consumption overhead.

Time synchronization is crucial for wireless sensor networks (WSNs), where operations often rely on time ordering of events. WSNs are deployed in different scenarios, and therefore their timing requirements are often related to the peculiar characteristics of the specific environment they have to act in. Synchronization is anyway always an issue: transactional applications need monotonicity of the nodes' clocks to avoid time reversal, ultralow power applications call for minimal overhead to allow for low-duty-cycle operation, applications facing extreme environments have to maintain the needed precision in the presence of unforeseen thermal drift, and so on. Specially, control applications on battery-powered devices, where timing is an issue and low-power operation is highly desired, benefit from synchronization. However, to date, the problem of synchronization has been differently faced depending on the application domain. This paper proposes a general solution to the problem of synchronization in WSNs, which seamlessly integrates with the radio stack. In addition, it guarantees monotonic and continuous node clocks with low overhead for the infrastructure. The solution is based on a decentralized control scheme that is stable and robust to thermal stress, without the need for temperature measurements. The control scheme is simulated and implemented on real WSN nodes. The efficiency of the scheme is evaluated with simulations and experiments, providing insights on the maximum synchronization error between nodes, on the communication overhead, and on the limited nodes' power consumption. The solution is also compared with state-of-the-art alternatives.