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.