Achieving energy efficiency through load balancing: A comparison through formal verification of two WSN routing protocols

Network lifetime is one of the most crucial factors that affect the performance of a Wireless Sensor Network (WSN). In order to maximize the network lifetime, it is essential that a routing protocol is designed from the purpose of energy efficiency. One way through which energy efficiency can be achieved in a protocol is by evenly distributing load among all the nodes in the network. This paper introduces Robust Formally Analysed Protocol for Wireless Sensor Networks Deployment with Load Balancing (RAEED-LB). This protocol takes the decision of selecting the next node on the basis of load balancing. The performance of RAEED-LB and RAEED is compared through formal verification. The formal verification results show that RAEED-LB achieves network lifetime gain in the range of 10% to 35% over RAEED.