SEA  >> Vol. 5 No. 1 (February 2016)

    MATLAB和UPPAAL对数据收集协议的仿真比较
    The Simulation Comparison of Data Gathering Protocol between MATLAB and UPPAAL

  • 全文下载: PDF(623KB) HTML   XML   PP.75-83   DOI: 10.12677/SEA.2016.51009  
  • 下载量: 946  浏览量: 2,392  

作者:  

武文佳,杨红丽:北京工业大学计算机学院,北京

关键词:
WSNs数据收集协议MATLABWM2RPUPPAALWSNs Data Gathering Protocol MATLAB WM2RP UPPAAL

摘要:

无线传感器网络(Wireless Sensor Network, WSNs)在民用和军事上有着广泛的应用,如居民区无线抄表(水表、电表和燃气表)系统。无线传感器网络的主要功能是收集传感器节点的数据。WM2RP协议是无线抄表领域的一种数据收集协议。MATLAB和UPPAAL工具都具有仿真功能,但是对协议进行仿真时各有其优缺点。这篇文章通过对WM2RP协议的仿真来比较MATLAB和UPPAAL工具。仿真结果表明,MATLAB擅长于仿真能量的消耗和数据收集轮数的表示,通常以曲线图的形式进行显示;而UPPAAL倾向于对有时间戳的协议进行仿真,并可以通过时序图形象的展示出通信过程。

Wireless Sensor Network (WSNs) has been widely used in civil and military, such as in Automatic Meter Reading System (water meter, electric meter and gas meter). The main function of Wireless Sensor Network is gathering data of sensor nodes. WM2RP protocol is a data gathering protocol in automatic meter reading application. MATLAB and UPPAAL both have the function of simulation, but they have their advantages and disadvantages. This paper compares MATLAB and UPPAAL through the simulation of WM2RP protocol. The result of simulation shows that MATLAB is good at the simulation of energy consumption and the number of data collection rounds. The result is usually displayed in the form of a graph. However, UPPAAL tends to emulate the protocol which has a timestamp and the communication process can be showed through image sequence diagrams.

文章引用:
武文佳, 杨红丽. MATLAB和UPPAAL对数据收集协议的仿真比较[J]. 软件工程与应用, 2016, 5(1): 75-83. http://dx.doi.org/10.12677/SEA.2016.51009

参考文献

[1] Rahman, K.C. (2010) A Survey on Sensor Network. JCIT, 1, 76-87.
[2] 崔莉, 鞠海玲, 苗勇. 无线传感器网络研究进展[J]. 计算机研究与发展, 2005, 42(1): 163-174.
[3] 任丰原, 黄海宁, 林闯.无线传感器网络[J]. 软件学报, 2003, 14(7): 1282-1291.
[4] 冯亚超. 无线传感器网络数据收集协议的建模与分析[D]: [硕士学位论文]. 北京: 北京工业大学, 2014.
[5] 王非, 杨红丽, 秦胜潮, 胡世超, 刘渊. 基于时间自动机模型的无线传感器网络数据收集协议测试用例生成[J]. 计算机应用, 2015, 35(4): 1164-1168.
[6] He, K., Yang, H.L., Qiu, Z.Y., et al. (2011) An Approach of Modeling and Analyzing Data Gathering Protocol. 4th International Conference on Mathematical Aspects of Computer and Information Sciences, Beijing, 19-21 October 2001, 76-92.
[7] He, K., Yang, H.L., Feng, Y.C., et al. (2012) Performance Analysis of Data Gathering Protocol Using PRISM. The Proceedings of 17th IEEE International Conference on Engineering of Complex Computer Systems, Ecole Normale Supérieure, Paris, 18-20 July 2012, 96-105.
[8] 贺康. 基于WSN的抄表系统路由协议研究[D]: [硕士学位论文]. 北京: 北京工业大学, 2012.
[9] Imran, M., Said, A.M. and Hasbullah, H. (2010) A Survey of Simulators, Emulators and Testbeds for Wireless Sensor Networks. Information Technology (ITSim), 6, 897-902.
http://dx.doi.org/10.1109/ITSIM.2010.5561571
[10] 陈杰, 等. MATLAB宝典[M]. 北京: 电子工业出版社, 2011.
[11] Kwiatkowska, M., Norman, G. and Parker, D. (2010) Assume-Guarantee Verification for Probabilistic Systems. LNCS, 6015, 23-37.
[12] Zeng, X., Bagrodia, R. and Gerla, M. (1998) GloMoSim: A Library for Parallel Simulation of Large-Scale Wireless Networks. Workshop on Parallel and Distributed Simulation, Banff, 26-29 May 1998.
http://dx.doi.org/10.1145/278009.278027
[13] Pratap, C., Vyas, O.P. and Singh, M.K.T. (2008) A Survey of Simulation in Sensor Networks. CIMCA, 170, 867-872.
[14] 冯亚超, 贺康, 杨红丽, 等. 一种无线传感器网络数据收集协议的研究与优化[J]. 传感技术学报, 2014(3): 355-360.