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

作     者：文凡 李思敏 唐志灵 Wen Fan;Li Simin;Tang Zhiling

作者机构：桂林电子科技大学电子工程学院桂林541004 

出 版 物：《国外电子测量技术》 (Foreign Electronic Measurement Technology)

年 卷 期：2009年第28卷第4期

页      码：20-23,30页

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

主 题 词：形式化方法 SDL 无线传感器网络 路由协议 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1002-8978.2009.04.008

馆 藏 号：203679263...