Modelling Clock Synchronization in the Chess gMAC WSN Protocol - Computer Science > Logic in Computer ScienceReport as inadecuate




Modelling Clock Synchronization in the Chess gMAC WSN Protocol - Computer Science > Logic in Computer Science - Download this document for free, or read online. Document in PDF available to download.

Abstract: We present a detailled timed automata model of the clock synchronizationalgorithm that is currently being used in a wireless sensor network WSN thathas been developed by the Dutch company Chess. Using the Uppaal model checker,we establish that in certain cases a static, fully synchronized network mayeventually become unsynchronized if the current algorithm is used, even in asetting with infinitesimal clock drifts.



Author: Mathijs Schuts Radboud University Nijmegen, Feng Zhu Radboud University Nijmegen, Faranak Heidarian Radboud University Nijmegen,

Source: https://arxiv.org/







Related documents