Chess gMAC WSN协议中时钟同步的建模
Modelling Clock Synchronization in the Chess gMAC WSN Protocol
摘要：
我们提出了一个详细的时间自动机模型的时钟同步算法，目前正在使用的无线传感器网络（WSN），已开发的荷兰公司国际象棋。使用Uppaal模型检查器，我们建立，在某些情况下，一个静态的，完全同步的网络可能最终成为不同步的，如果使用当前的算法，即使在设置与无限小的时钟漂移。
英文摘要：
We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Dutch company Chess. Using the Uppaal model checker, we establish that in certain cases a static, fully synchronized network may eventually become unsynchronized if the current algorithm is used, even in a setting with infinitesimal clock drifts.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
