Wireless communication protocols are often used in critical applications, e.g., urban water supply networks or healthcare monitoring within the Internet of Things. It is essential that control software and protocols for such systems are verified to be both robust and reliable. The effects on the hardware caused by environmental conditions and the choice of parameters used by the protocol are among the largest obstacles to robustness and reliability in wireless systems. In this paper we use formal verification to verify that a wireless sensor network synchronization and dissemination protocol is not adversely affected by these factors.

中文翻译：

---

使用正式方法探索环境条件和设计选择对物联网系统的影响

无线通信协议通常用于关键应用中，例如，城市供水网络或物联网中的医疗监控。必须验证用于此类系统的控制软件和协议既可靠又可靠。环境条件和协议所用参数的选择对硬件的影响是无线系统鲁棒性和可靠性的最大障碍。在本文中，我们使用形式验证来验证无线传感器网络的同步和分发协议不受这些因素的不利影响。