WSN ECo-MAC 协议退避过程的概率验证与评估
网络与互联网体系结构
2010-07-15 v1
摘要
通信协议与技术通常使用仿真技术进行评估。然而，使用形式化建模与分析技术进行验证与评估，特别是对于无线传感器网络（WSN），已成为必然。在本文中，我们对专为 WSN 设计的名为 ECo-MAC 的介质访问控制协议中集成的退避过程进行了形式化分析。我们用离散时间马尔可夫链（DTMCs）描述了该退避过程，并使用著名的概率模型检测器 PRISM 进行了评估。在检查了所提模型的不同不变量之后，我们研究了竞争窗口长度（以时间竞争单元数计）对给定接收器邻域内可接受的并发发送器数量的影响。获得的定量结果证实了使用 OPNET 工具仿真提供的结果，并证明了所采用的时间竞争单元 TCU 值的有效性。
引用
@article{arxiv.1005.2050,
title = {Probabilistic verification and evaluation of Backoff procedure of the WSN ECo-MAC protocol},
author = {Hafedh Zayani and Kamel Barkaoui and Rahma Ben Ayed},
journal= {arXiv preprint arXiv:1005.2050},
year = {2010}
}
备注
15 Pages, IJWMN 2010