武文佳
- 作品数:2 被引量:3H指数:1
- 供职机构:北京工业大学计算机学院更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于UPPAAL的WSNs数据收集协议的建模与分析被引量:3
- 2016年
- 无线传感器网络(Wireless Sensor Networks,WSNs)广泛应用于各类数据收集系统,如居民区无线抄表(包括水表、电表和燃气表)系统。数据收集协议设计的正确性与合理性是影响网络正常运作的关键因素。针对数据收集协议的实时性需求,提出了基于UPPAAL实时模型检查器的WSNs数据收集协议的建模与分析方法。由于UPPAAL的输入模型相对于一般时间自动机模型而言较为复杂,因此首先对所选数据收集协议的通信行为建立一般时间自动机模型,之后再将其进一步转换为UPPAAL的输入模型。为了阐明该方法的有效性,选择了一个实际的无线抄表数据收集协议WM2RP作为例子进行建模,并利用UPPAAL分析其性质。分析结果显示,该协议能够满足一些与安全性及可靠性相关的性质。为了从多角度对协议进行分析,进一步建立了WM2RP协议的异常模型和能耗模型。
- 冯亚超杨红丽王非武文佳秦胜潮
- 关键词:无线传感器网络数据收集协议时间自动机
- MATLAB和UPPAAL对数据收集协议的仿真比较
- 2016年
- 无线传感器网络(Wireless Sensor Network, WSNs)在民用和军事上有着广泛的应用,如居民区无线抄表(水表、电表和燃气表)系统。无线传感器网络的主要功能是收集传感器节点的数据。WM2RP协议是无线抄表领域的一种数据收集协议。MATLAB和UPPAAL工具都具有仿真功能,但是对协议进行仿真时各有其优缺点。这篇文章通过对WM2RP协议的仿真来比较MATLAB和UPPAAL工具。仿真结果表明,MATLAB擅长于仿真能量的消耗和数据收集轮数的表示,通常以曲线图的形式进行显示;而UPPAAL倾向于对有时间戳的协议进行仿真,并可以通过时序图形象的展示出通信过程。
- 武文佳杨红丽
- 关键词:WSNS数据收集协议MATLABUPPAAL