无线传感器网络确定性 MAC 协议的多工具开发与分析
网络与互联网体系结构
2008-02-13 v2
摘要
在本文中，我们提出了一种用于开发和分析新型介质访问方法的多工具方法。本研究以 IEEE 802.15.4 / ZigBee 技术为基础，构建了一种新的确定性 MAC 层，能够实现高水平的服务质量 (QoS)。这种无线个人区域网 (WPAN) 通常可用于需要严格时间约束的无线传感器网络。为了验证所提出的协议，使用了三种互补且合适的工具：用于算法形式化验证的 Petri 网、用于时间方面分析的专用模拟器，以及基于成对 ZigBee FREESCALE 组件的真实原型上的测量，用于第 1 层和第 2 层的硬件表征。
引用
@article{arxiv.0802.0799,
title = {D\'eveloppement et analyse multi outils d'un protocole MAC d\'eterministe pour un r\'eseau de capteurs sans fil},
author = {Thierry Val and Adrien Van Den Bossche},
journal= {arXiv preprint arXiv:0802.0799},
year = {2008}
}