Towards Formal Modeling of Subnet Based Hotspot Algorithm in Wireless Sensor Networks

Timely partition of the whole network is extremely difficult task in dynamic large-scale wireless sensor network (WSN). A lot of existing technique that solved this issue with maintaining the network status and relevant information, but these techniques do not provide the proper validation and verification and completely depend upon the simulation. Due to the distributed and heterogeneous nature of WSN, management of such environment is highly complex. The dynamic self-configuring behavior of the nodes and scalable nature of WSN may cause critical issues, like hotspot, power consumption, unnecessary delays, throughput and network lifetime. This paper, therefore, presents the Subnet Based Hotspot Algorithm (SBHA) that not only discus the strategy of network division in the form of subnets but also provide the detail verification proof of correctness. By doing so, routing path towards sink nodes become small in size that reduces the traffic load at the neighboring nodes of the sink. As a result, nodes around the sink will not early depreciate hence the chances of hotspot occurrence will be reduced, ultimately network lifetime will be increased. Firstly, we analyze SBHA with detail formal specifications in order to validate and verify the performance of proposed algorithm with VDM-SL tool box, after this we simulate the SBHA to demonstrate its accuracy and efficiency. The results analysis shows that the E2E delay and network lifetime of SBHA is comparatively 50% and 75% higher than the EE-CBA, while the energy consumption ration for 600 number of nodes consumed 750J by SBHA and 850J by EE-CBA.

[1]  S. Selvan,et al.  Energy Efficient Energy Hole Repelling (EEEHR) Algorithm for Delay Tolerant Wireless Sensor Network , 2018, Wirel. Pers. Commun..

[2]  Umar Draz,et al.  Comparison of DBR and L2-ABF routing protocols in underwater wireless sensor network , 2018, 2018 15th International Bhurban Conference on Applied Sciences and Technology (IBCAST).

[3]  Akanksha Sharma,et al.  Virtual Grid based Dynamic Route Adjustment ( VGDRA) Scheme based on Sink Mobility for Wireless Sensor Networks , 2018, International Journal for Research in Applied Science and Engineering Technology.

[4]  Wei Cheng,et al.  Cooperative communication based regular topology to achieve coverage and K-connectivity for WSNs , 2018, 2018 13th IEEE Conference on Industrial Electronics and Applications (ICIEA).

[5]  Sher Afzal Khan,et al.  Delay and throughput performance improvement in wireless sensor and actor networks , 2015, 2015 5th National Symposium on Information Technology: Towards New Smart World (NSITNSW).

[6]  Sana Yasin,et al.  Towards Formal Modeling of Hotspot Issue by Watch-Man Nodes in Wireless Sensor and Actor Network , 2018, 2018 International Conference on Frontiers of Information Technology (FIT).

[7]  Keqiu Li,et al.  Heterogeneous ad hoc networks: Architectures, advances and challenges , 2017, Ad Hoc Networks.

[8]  Mohammed Abo-Zahhad,et al.  A Comprehensive Survey on Hierarchical-Based Routing Protocols for Mobile Wireless Sensor Networks: Review, Taxonomy, and Future Directions , 2017, Wirel. Commun. Mob. Comput..

[9]  Umar Draz,et al.  Cloud Based Watchman Inlets for Flood Recovery System Using Wireless Sensor and Actor Networks , 2018, 2018 IEEE 21st International Multi-Topic Conference (INMIC).

[10]  Ryma Abassi,et al.  A multi-hop graph-based approach for an energy-efficient routing protocol in wireless sensor networks , 2018, Human-centric Computing and Information Sciences.

[11]  Ibrahima Faye,et al.  End-to-End Delay and Energy Efficient Routing Protocol for Underwater Wireless Sensor Networks , 2014, Wirel. Pers. Commun..

[12]  Deepika Agrawal,et al.  FUCA: Fuzzy‐based unequal clustering algorithm to prolong the lifetime of wireless sensor networks , 2018, Int. J. Commun. Syst..

[13]  Ameer Ahmed Abbasi,et al.  A survey on clustering algorithms for wireless sensor networks , 2007, Comput. Commun..

[14]  Leonard Barolli,et al.  A comparison study of two fuzzy-based systems for selection of actor node in wireless sensor actor networks , 2015, J. Ambient Intell. Humaniz. Comput..

[15]  Chinya V. Ravishankar,et al.  LEACH-GA: Genetic Algorithm-BasedEnergy-Efficient Adaptive Clustering Protocolfor Wireless Sensor Networks , 2011 .

[16]  Makoto Takizawa,et al.  A Survey on Clustering Algorithms for Wireless Sensor Networks , 2010, NBiS.

[17]  Meera Gandhi,et al.  Tree based distributed clustering routing scheme for energy efficiency in wireless sensor networks , 2017, 2017 IEEE International Conference on Power, Control, Signals and Instrumentation Engineering (ICPCSI).

[18]  Rahim Tafazolli,et al.  An Energy-Efficient Clustering Solution for Wireless Sensor Networks , 2011, IEEE Transactions on Wireless Communications.

[19]  Nazir Ahmad Zafar,et al.  Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks , 2017, Int. J. Distributed Sens. Networks.

[20]  Shweta Varshney,et al.  Variants of LEACH Routing Protocol in WSN: A Comparative Analysis , 2018, 2018 8th International Conference on Cloud Computing, Data Science & Engineering (Confluence).

[21]  Prabhat Kumar,et al.  An Energy Efficient Protocol to Mitigate Hot Spot Problem Using Unequal Clustering in WSN , 2018, Wirel. Pers. Commun..

[22]  Mubashir Husain Rehmani,et al.  Role of Wireless Sensor Networks in Emerging Communication Technologies: A Review , 2016 .

[23]  Thomas Stützle,et al.  Ant Colony Optimization: Overview and Recent Advances , 2018, Handbook of Metaheuristics.

[24]  Imran Baig,et al.  Wireless Sensor’s Civil Applications, Prototypes, and Future Integration Possibilities: A Review , 2018, IEEE Sensors Journal.

[25]  K. Kathiravan,et al.  Mitigating Hot Spot Problems in Wireless Sensor Networks Using Tier-Based Quantification Algorithm , 2016 .

[26]  Michael Backes,et al.  A Survey on Routing in Anonymous Communication Protocols , 2016, ACM Comput. Surv..

[27]  Joost-Pieter Katoen,et al.  Formal Methods for Aerospace Systems , 2017 .

[28]  Seungmin Rho,et al.  Twitter news-in-education platform for social, collaborative, and flipped learning , 2018, The Journal of Supercomputing.

[29]  Mohamed F. Younis,et al.  Topology management techniques for tolerating node failures in wireless sensor networks: A survey , 2014, Comput. Networks.

[30]  Tzung-Shi Chen,et al.  Efficient traffic load reduction algorithms for mitigating query hotspots for wireless sensor networks , 2015, Int. J. Ad Hoc Ubiquitous Comput..

[31]  Mohamed F. Younis,et al.  Energy-aware routing in cluster-based sensor networks , 2002, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems.

[32]  Jong Hyuk Park,et al.  An improved ant colony optimization-based approach with mobile sink for wireless sensor networks , 2017, The Journal of Supercomputing.

[33]  Jean-Marie Bonnin,et al.  Wireless sensor networks: a survey on recent developments and potential synergies , 2013, The Journal of Supercomputing.

[34]  Hanen Mejbri,et al.  An Improved Empirical Formulation for Magnetic Core Losses Estimation Under Nonsinusoidal Induction , 2017, IEEE Transactions on Power Electronics.

[35]  Umar Draz,et al.  A Parametric Performance Evaluation of Batteries in Wireless Sensor Networks , 2019, Recent Trends and Advances in Wireless and IoT-enabled Networks.