Modelling Clock Synchronization in the Chess gMAC WSN Protocol - Computer Science > Logic in Computer ScienceReportar como inadecuado




Modelling Clock Synchronization in the Chess gMAC WSN Protocol - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



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

Fuente: https://arxiv.org/







Documentos relacionados