对 Chess gMAC 无线传感器网络协议中时钟同步的建模
计算机科学中的逻辑
2009-12-11 v1 分布式、并行与集群计算
形式语言与自动机理论
网络与互联网体系结构
摘要
我们提出了一个详细的时间自动机模型，用于描述荷兰Chess公司开发的无线传感器网络(WSN)中当前使用的时钟同步算法。使用Uppaal模型检验器，我们证明了在某些情况下，如果使用当前算法，静态的、完全同步的网络最终可能会变得不同步，即使是在具有无穷小时钟漂移的设定下也是如此。
引用
@article{arxiv.0912.1901,
title = {Modelling Clock Synchronization in the Chess gMAC WSN Protocol},
author = {Mathijs Schuts and Feng Zhu and Faranak Heidarian and Frits Vaandrager},
journal= {arXiv preprint arXiv:0912.1901},
year = {2009}
}