A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks
[chapter]
2009
Lecture Notes in Computer Science
The Dutch company Chess develops a wireless sensor network (WSN) platform using an epidemic communication model. One of the greatest challenges in the design is to find suitable mechanisms for clock synchronization. In this paper, we study a proposed clock synchronization protocol for the Chess platform. First, we model the protocol as a network of timed automata and verify various instances using the Uppaal model checker. Next, we present a full parametric analysis of the protocol for the
doi:10.1007/978-3-642-05089-3_33
fatcat:ehy625rvc5gahbwbngyxdxfvya