无线传感器网络路由协议的形式化方法研究

本文提出了将形式化方法引入无线传感器网络通信协议设计的观点,简要介绍了形式化设计方法,针对无线传感器网络的特点设计了简化路由协议,同时利用SDL语言工具对其进行设计与实现,协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。