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

  • Tariq AliEmail author
  • Sana Yasin
  • Umar Draz
  • Muhammad Ayaz


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.


WSN SBHA Hot spot VDM-SL Throughput Verification and validation etc. 



  1. 1.
    Khan, S., Khan, F., & Khan, S. A. (2015). Delay and throughput performance improvement in wireless sensor and actor networks. In 2015 5th National symposium on information technology: towards new smart world (NSITNSW) (pp. 1–5). IEEE.Google Scholar
  2. 2.
    Ayaz, M., Ammad-uddin, M., Baig, I., & Aggoune, E. M. (2018). Wireless sensor’s civil applications, prototypes, and future integration possibilities: A review. IEEE Sensors Journal, 18(1), 4–30.Google Scholar
  3. 3.
    Rawat, P., Singh, K. D., Chaouchi, H., & Bonnin, J. M. (2014). Wireless sensor networks: A survey on recent developments and potential synergies. The Journal of Supercomputing, 68(1), 1–48.Google Scholar
  4. 4.
    Islam, M., Jalil, S. Q., & Rehmani, M. H. (2016). Role of wireless sensor networks in emerging communication technologies: A review. In B. H. Rehmani & A.-S. K. Pathan (Eds.), Emerging communication technologies based on wireless sensor networks: Current research and future applications, 1. Boca Raton: CRC Press.Google Scholar
  5. 5.
    Qiu, T., Chen, N., Li, K., Qiao, D., & Fu, Z. (2017). Heterogeneous ad hoc networks: Architectures, advances and challenges. Ad Hoc Networks, 55, 143–152.Google Scholar
  6. 6.
    Younis, M., Senturk, I. F., Akkaya, K., Lee, S., & Senel, F. (2014). Topology management techniques for tolerating node failures in wireless sensor networks: A survey. Computer Networks, 58, 254–283.Google Scholar
  7. 7.
    Elmazi, D., Kulla, E., Oda, T., Spaho, E., Sakamoto, S., & Barolli, L. (2015). A comparison study of two fuzzy-based systems for selection of actor node in wireless sensor actor networks. Journal of Ambient Intelligence and Humanized Computing, 6(5), 635–645.Google Scholar
  8. 8.
    Chauhan, S., & Kaur, G. (2017). A virtual grid-based dynamic routes adjustment (VGDRA) scheme for wireless sensor networks based on sink mobility.Google Scholar
  9. 9.
    Wei, D., Jin, Y., Vural, S., Moessner, K., & Tafazolli, R. (2011). An energy-efficient clustering solution for wireless sensor networks. IEEE Transactions on Wireless Communications, 10(11), 3973–3983.Google Scholar
  10. 10.
    Younis, M., Youssef, M., & Arisha, K. (2002). Energy-aware routing in cluster-based sensor networks. In Proceedings. 10th IEEE international symposium on modeling, analysis and simulation of computer and telecommunications systems (pp. 129–136). IEEE.Google Scholar
  11. 11.
    Boyinbode, O., Le, H., Mbogho, A., Takizawa, M., & Poliah, R. (2010). A survey on clustering algorithms for wireless sensor networks. In 2010 13th International conference on network-based information systems (pp. 358–364). IEEE.Google Scholar
  12. 12.
    Kuo, C. H., Chen, T. S., & Lo, Y. H. (2015). Efficient traffic load reduction algorithms for mitigating query hotspots for wireless sensor networks. International Journal of Ad Hoc and Ubiquitous Computing, 18(3), 153–163.Google Scholar
  13. 13.
    Balamurali, R., & Kathiravan, K. (2016). Mitigating hot spot problems in wireless sensor networks using tier-based quantification algorithm. Cybernetics and Information Technologies, 16(1), 73–79.Google Scholar
  14. 14.
    Prabha, K. L., & Selvan, S. (2018). Energy efficient energy hole repelling (EEEHR) algorithm for delay tolerant wireless sensor network. Wireless Personal Communications, 101(3), 1395–1409.Google Scholar
  15. 15.
    Liu, J. L., & Ravishankar, C. V. (2011). LEACH-GA: Genetic algorithm-based energy-efficient adaptive clustering protocol for wireless sensor networks. International Journal of Machine Learning and Computing, 1(1), 79.Google Scholar
  16. 16.
    Abbasi, A. A., & Younis, M. (2007). A survey on clustering algorithms for wireless sensor networks. Computer Communications, 30(14–15), 2826–2841.Google Scholar
  17. 17.
    Varshney, S., & Kuma, R. (2018). Variants of LEACH routing protocol in WSN: A comparative analysis. In 2018 8th International conference on cloud computing, data science & engineering (confluence) (pp. 199–204). IEEE.Google Scholar
  18. 18.
    Yadav, M., Bhola, A., & Jha, C. K. (2018). Design and implementation of energy-aware hierarchical clustering technique of WSN for Improving network life. International Journal of Advanced Studies in Computers, Science and Engineering, 7(1), 27–32.Google Scholar
  19. 19.
    Dorigo, M., & Stützle, T. (2019). Ant colony optimization: overview and recent advances. In M. Gendreau & J. Y. Potvin (Eds.), Handbook of metaheuristics (pp. 311–351). Cham: Springer.Google Scholar
  20. 20.
    Agrawal, D., & Pandey, S. (2018). FUCA: Fuzzy-based unequal clustering algorithm to prolong the lifetime of wireless sensor networks. International Journal of Communication Systems, 31(2), e3448.Google Scholar
  21. 21.
    Wang, J., Cao, J., Sherratt, R. S., & Park, J. H. (2017). An improved ant colony optimization-based approach with mobile sink for wireless sensor networks. The Journal of Supercomputing, 74, 1–13.Google Scholar
  22. 22.
    Barg, S., Ammous, K., Mejbri, H., & Ammous, A. (2017). An improved empirical formulation for magnetic core losses estimation under nonsinusoidal induction. IEEE Transactions on Power Electronics, 32(3), 2146–2154.Google Scholar
  23. 23.
    Rhim, H., Tamine, K., Abassi, R., Sauveron, D., & Guemara, S. (2018). A multi-hop graph-based approach for an energy-efficient routing protocol in wireless sensor networks. Human-centric Computing and Information Sciences, 8(1), 30.Google Scholar
  24. 24.
    Sabor, N., Sasaki, S., Abo-Zahhad, M., & Ahmed, S. M. (2017). A comprehensive survey on hierarchical-based routing protocols for mobile wireless sensor networks: review, taxonomy, and future directions. Wireless Communications and Mobile Computing, 2017, 1–23.Google Scholar
  25. 25.
    Singh, S. K., Kumar, P., & Singh, J. P. (2018). An energy efficient protocol to mitigate hot spot problem using unequal clustering in WSN. Wireless Personal Communications, 101(2), 799–827.Google Scholar
  26. 26.
    Lu, X., Cheng, W., He, Q., & Xie, X. (2018). Cooperative communication based regular topology to achieve coverage and K-connectivity for WSNs. In 2018 13th IEEE conference on industrial electronics and applications (ICIEA) (pp. 2514–2518). IEEE.Google Scholar
  27. 27.
    Shirazi, F., Simeonovski, M., Asghar, M. R., Backes, M., & Diaz, C. (2018). A survey on routing in anonymous communication protocols. ACM Computing Surveys (CSUR), 51(3), 51.Google Scholar
  28. 28.
    Daflapurkar, P. M., Gandhi, M., & Patil, B. (2017). Tree based distributed clustering routing scheme for energy efficiency in wireless sensor networks. In 2017 IEEE international conference on power, control, signals and instrumentation engineering (ICPCSI) (pp. 2450–2456). IEEE.Google Scholar
  29. 29.
    Bozzano, M., Bruintjes, H., Cimatti, A., Katoen, J. P., Noll, T., & Tonetta, S. (2017). Formal methods for aerospace systems. In S. Nakajima, J.-P. Talpin, M. Toyoshima, & H. Yu (Eds.), Cyber-physical system design from an architecture analysis viewpoint (pp. 133–159). Singapore: Springer.Google Scholar
  30. 30.
    Afzaal, H., Zafar, N. A., & Alhumaidan, F. (2017). Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks. International Journal of Distributed Sensor Networks, 13(4), 1550147717704417.Google Scholar
  31. 31.
    Draz, M. U., Ali, T., Yasin, S., & Waqas, U. (2018). Towards formal modeling of hotspot issue by watch-man nodes in wireless sensor and actor network. In 2018 International conference on frontiers of information technology (FIT) (pp. 321–326). IEEE.Google Scholar
  32. 32.
    Draz, U., Ali, T., & Yasin, S. (2018). Cloud based watchman inlets for flood recovery system using wireless sensor and actor networks. In 2018 IEEE 21st International multi-topic conference (INMIC) (pp. 1–6). IEEE.Google Scholar
  33. 33.
    Yasin, S., Ali, T., Draz, U., Shaf, A., & Ayaz, M. (2019). A parametric performance evaluation of batteries in wireless sensor networks. In M. Jan, F. Khan, & M. Alam (Eds.), Recent trends and advances in wireless and IoT-enabled networks (pp. 187–196). Cham: Springer.Google Scholar
  34. 34.
    Yasin, S., Ali, T., Draz, U., & Rasheed, A. (2018). Simulation-based battery life prediction technique in wireless sensor networks. NFC IEFR Journal of Engineering and Scientific Research, 6, 166–172.Google Scholar
  35. 35.
    Ali, T., Jung, L. T., & Faye, I. (2014). End-to-end delay and energy efficient routing protocol for underwater wireless sensor networks. Wireless Personal Communications, 79(1), 339–361.Google Scholar
  36. 36.
    Ali, T., Ayaz, M., Jung, L. T., Draz, U., & Shaf, A. (2017). Upward and diagonal data packet forwarding in underwater communication.Google Scholar
  37. 37.
    Shaf, A., Ali, T., Farooq, W., Draz, U., & Yasin, S. (2018). Comparison of DBR and L2-ABF routing protocols in underwater wireless sensor network. In 2018 15th International Bhurban conference on applied sciences and technology (IBCAST) (pp. 746–750). IEEE.Google Scholar
  38. 38.
    Afzaal, H., Zafar, N. A., & Alhumaidan, F. (2017). Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks. International Journal of Distributed Sensor Networks, 13(4), 1550147717704417.Google Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.CS DepartmentCOMSATS University IslamabadSahiwalPakistan
  2. 2.Sensor Networks and Cellular Systems (SNCS) Research CentreUniversity of TabukTabukKingdom of Saudi Arabia

Personalised recommendations