确定和分析MAC协议的多个漏洞，以确定无文件captured网络
Développement et analyse multi outils d'un protocole MAC déterministe pour un réseau de capteurs sans fil
摘要：
在这篇文章中，我们提出了一个多工具的方法来开发和分析一个新的媒体访问方法。IEEE 802.15.4 / ZigBee技术已被用作该新的确定性MAC层的基础，其实现高水平的QoS。该WPAN可以典型地用于需要强时间约束的无线传感器网络。为了验证所提出的协议，三个互补的和足够的工具：Petri网的算法的正式验证，一个专用的模拟器的时间方面，和一些措施的实际原型的基础上的一对夫妇的ZigBee FREESCALE组件的硬件表征层#1和#2。
英文摘要：
In this article, we present a multi-tool method for the development and the analysis of a new medium access method. IEEE 802.15.4 / ZigBee technology has been used as a basis for this new determinist MAC layer which enables a high level of QoS. This WPAN can be typically used for wireless sensor networks which require strong temporal constraints. To validate the proposed protocol, three complementary and adequate tools are used: Petri Nets for the formal validation of the algorithm, a dedicated simulator for the temporal aspects, and some measures on a real prototype based on a couple of ZigBee FREESCALE components for the hardware characterization of layers #1 and #2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
