Formal Analysis and Simulation of LEACH Protocol
Wei Xiao-ling · Journal of Qinzhou University · 2013
Based on formal modeling,the finite state machine models of cluster-head node and ordinary node are established to describe the routing behavior and algorithm of LEACH protocol,analyze the possible factors affecting on the performance of LEACH protocol,and simulate LEACH protocol in NS2.The simulation results show that the improved LEACH protocol not only saves energy of the network but also balances the energy consumption of all nodes,thus prolongs the lifetime of nodes and improves the performances of network.