这是indexloc提供的服务，不要输入任何密码
Skip to main content
Springer Nature Link
Log in

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

  • Published:
Wireless Personal Communications Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+
from $39.99 /Month
  • Starting from 10 chapters or articles per month
  • Access and download chapters and articles from more than 300k books and 2,500 journals
  • Cancel anytime
View plans

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects, suggested using machine learning.

References

  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.

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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. 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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  8. Chauhan, S., & Kaur, G. (2017). A virtual grid-based dynamic routes adjustment (VGDRA) scheme for wireless sensor networks based on sink mobility.

  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.

    Article  Google Scholar 

  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.

  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.

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  16. Abbasi, A. A., & Younis, M. (2007). A survey on clustering algorithms for wireless sensor networks. Computer Communications, 30(14–15), 2826–2841.

    Article  Google Scholar 

  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.

  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. 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.

    Chapter  Google Scholar 

  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.

    Article  Google Scholar 

  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. 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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Article  Google Scholar 

  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.

  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.

    Article  Google Scholar 

  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.

  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.

    Chapter  Google Scholar 

  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.

    Article  Google Scholar 

  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.

  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.

  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.

    Chapter  Google Scholar 

  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. 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.

    Article  Google Scholar 

  36. Ali, T., Ayaz, M., Jung, L. T., Draz, U., & Shaf, A. (2017). Upward and diagonal data packet forwarding in underwater communication.

  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.

  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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CS Department, COMSATS University Islamabad, Sahiwal, Pakistan

    Tariq Ali, Sana Yasin & Umar Draz

  2. Sensor Networks and Cellular Systems (SNCS) Research Centre, University of Tabuk, Tabuk, Kingdom of Saudi Arabia

    Muhammad Ayaz

Authors
  1. Tariq Ali
    View author publications

    Search author on:PubMed Google Scholar

  2. Sana Yasin
    View author publications

    Search author on:PubMed Google Scholar

  3. Umar Draz
    View author publications

    Search author on:PubMed Google Scholar

  4. Muhammad Ayaz
    View author publications

    Search author on:PubMed Google Scholar

Corresponding author

Correspondence to Tariq Ali.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ali, T., Yasin, S., Draz, U. et al. Towards Formal Modeling of Subnet Based Hotspot Algorithm in Wireless Sensor Networks. Wireless Pers Commun 107, 1573–1606 (2019). https://doi.org/10.1007/s11277-019-06346-6

Download citation

  • Published:

  • Version of record:

  • Issue date:

  • DOI: https://doi.org/10.1007/s11277-019-06346-6

Keywords