无线传感器网络SPIN协议的改进及验证

摘要：

在无线传感器网络中,对SPIN协议的研究主要是通过仿真进行的,很少有对其进行形式化验证.本文在SPIN协议的基础上进行改进得到了适用于有损网络的协议--SPIN-E协议,并使用有色Petri网对SPIN-E协议进行形式化建模,通过CPN Tools对协议的活性、可达性、有界性等特性进行了分析和验证.

关键词：有色Petri网、SPIN协议、SPIN-E协议、建模、CPN分析工具

所属期刊栏目：24

分类号：TP393(计算技术、计算机技术)

在线出版日期：2008-07-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：130-131,170