Towards Formal Modeling of Hotspot Issue by Watch-Man Nodes in Wireless Sensor and Actor Network
Umar Draz, Tariq M. Ali, Sana Yasin, Umair Waqas · 2018
The sensor and actor nodes drain more energy due to heterogeneity and distribute nature of WSAN. Therefore, the power management of such network is highly complex. The limited power resources in the network create hotspot problem. The proposed approach is consisting of Energy Efficient Mobility-Based Watchman (E2-MBW) algorithm to resolve the hotspot problem. In this approach, watchman and secondary nodes are introduced. In addition, the proposed algorithm provides alternative data storage when a neighboring node of the sink is going to die. Watchman node resolves the hotspot issue by comparing the residual energy of the sink neighboring nodes with the defined threshold energy value. Based on the received energy residual status, watchman nodes save the energy by providing the alternative efficient data storage through the secondary nodes. The algorithm is formally verified and validated using VDM-SL tool box.