An Approach of Modeling and Analyzing Data Gathering Protocol
Recent developments in processor, memory and radio technology have made it possible to apply wireless sensor networks (WSNs) which consist of inexpensive wireless micro-sensor nodes to gather interesting information from the deployed area. Particularly, the wireless ad-hoc sensor network has been used to gather water consumption data from water meters in residential areas. Due to the limited power of the nodes in the network, power efficient routing protocols must be designed for command sending and data gathering in order to achieve long network lifetimes. PEADG (Power Efficient Algorithm for Data Gathering) is a protocol designed for meeting this requirement. In order to evaluating the protocol, this paper employs a probabilistic model checker PRISM to analyze performance of PEADG protocol. Concretely, we analyze properties such as number of rounds of data gathering and the probability of finishing a round etc. The analysis results may help developers to improve the performance of the protoco.
Kang He Hongli Yang Zongyan Qiu Meng Sun
Computer College Beijing University of Technology Beijing China LMAM and Department of Informatics School of Mathematical Sciences Peking University Beijing China
国际会议
北京
英文
76-92
2011-10-21（万方平台首次上网日期，不代表论文的发表时间）