面向服务的无线传感器网络协议架构

分析了目前WSN从研究领域转向工程领域阶段中面临的困难,然后遵循面向服务的思想,以相互间松散耦合的服务单元作为网络协议的基本组成单位,提出了一种非层次结构的WSN网络协议架构,并使用基于Petri网的形式化方法对WSN的服务服务组合和扩展进行建模分析,探讨了服务组合中的一些条件和规则。基于服务的构建,能够较为全面和合理的描述WSN协议架构,并可通过相关服务组合满足WSN多样化的应用需求。     

基于着色解释Petri网的网络协议建模及协同仿真方法

为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网.借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法.作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模.在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法.基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用.     

一种基于CIPN的网络协议建模方法*

基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了CIPN的定义,并讨论了CIPN的运行机制,证明了CIPN事件可观测性的充要条件。通过一个MACA协议作为示例,完成了从网络协议的一般CPN模型到CIPN模型的等价性转换,并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析。