基于L-π演算的WSN路由协议形式化方法

摘要：

针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法L-π演算.定义了L-πc演算的语法,形式化描述无线传感器节点的广播与单播的通信行为.定义了相应的结构同余,描述了节点表达式的非顺序性.定义了相应的迁移规则,提供了路由协议形式化模型的动态推演功能.通过对无线传感器网络簇头选择协议的描述展现了L-π演算的能力.通过无线传感器网络簇头选择协议的验证实验说明了该方法能有效验证无线传感网络路由协议.

关键词：计算机软件、无线传感器网络、路由协议、形式化方法、L-π演算

所属期刊栏目：45

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

资助基金：国家自然科学基金项目61100006,61272184;黑龙江省自然科学基金项目F201129

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

页数：共7页

页码：1565-1571