Skip to main content
SpringerLink
Log in
Book cover

International Conference on Broadband and Wireless Computing, Communication and Applications

BWCCA 2017: Advances on Broad-Band Wireless Computing, Communication and Applications pp 328–339Cite as

Modeling and Performance Evaluation of Protocols in Mobile Wireless Sensor Networks

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes on Data Engineering and Communications Technologies ((LNDECT,volume 12))

Abstract

There has been a rapid growth in the need to support mobile nodes in Wireless Sensor Networks (WSNs). This may lead to several uncertainties and stochastic events such as messages loss, collisions on medium and even loss of nodes. Therefore, it is essential to ensure the efficiency of mobility based wireless sensor protocols. A lot of protocols have been proposed to consider mobility in the MAC layer as well as in the network layer. We opt to study formally one of these protocols using Statistical Model Checking (SMC). The chosen protocol is CFMA (Collision Free Mobility Adaptive) MAC protocol, for WSNs. This protocol performs well in both static and mobile scenarios. In this paper, we make a formal study for its principal algorithms by modeling, first, its work-flow using probabilistic timed automata. This stochastic formalism leads to consider several random events with more realism. Furthermore, a performance analysis is performed by verifying the qualitative and quantitative properties of this protocol using UPPAAL SMC tool [6].

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. What is uml? http://www.uml.org/. Accessed 29 June 2017

  2. Akyildiz, I.F., Weilian, S., Sankarasubramaniam, Y., Cayirci, E.: A survey on sensor networks. IEEE Commun. Mag. 40(8), 102–114 (2002)

    Article  Google Scholar 

  3. Ballarini, P., Miller, A.: Model checking medium access control for sensor networks. In: Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, (ISoLA 2006), pp. 255–262 (2006)

    Google Scholar 

  4. Bernardeschi, C., Masci, P., Pfeifer, H.: Analysis of wireless sensor network protocols in dynamic scenarios, pp. 105–119. Springer, Heidelberg (2009)

    Google Scholar 

  5. Wireless Personal Communications A probabilistic study of the delay caused by jittering in wireless flooding. 73(3), 415–439 (2013)

    Google Scholar 

  6. David, A., Larsen, K.G., Legay, A., Mikuăionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397–415 (2015)

    Article  Google Scholar 

  7. Elleuch, M., Hasan, O., Tahar, S., Abid, M.: Formal probabilistic analysis of a wireless sensor network for forest fire detection. In: Bouhoula, A., Ida, T., Kamareddine, F. (eds.) SCSS, vol. 122. EPTCS, pp. 1–9 (2012)

    Google Scholar 

  8. Ganeriwal, S., Kumar, R., Srivastava, M.B.: Timing-sync protocol for sensor networks. In: Proceedings of the 1st International Conference on Embedded Networked Sensor Systems, SenSys 2003, pp. 138–149. ACM, New York (2003)

    Google Scholar 

  9. Hammal, Y., Ben-Othman, J., Mokdad, L., Abdelli, A.: Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol. J. Commun. Netw. 16(4), 385–396 (2014)

    Article  Google Scholar 

  10. He, J., Cheng, P., Chen, J., Shi, L., Lu, R.: Time synchronization for random mobile sensor networks. IEEE Trans. Veh. Technol. 63(8), 3935–3946 (2014)

    Article  Google Scholar 

  11. Hmidi, Z., Kahloul, L., Saber, B., Othmane, C.: Statistical model checking of CSMA/CA in WSNS. In: Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016, pp. 27–42 (2016)

    Google Scholar 

  12. Ho, T.-S., Chen, K.-C.: Performance analysis of IEEE 802.11 CSMA/CA medium access control protocol. In: Seventh IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 1996, vol. 2, pp. 407–411, October 1996

    Google Scholar 

  13. Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transfer 9(3), 213–254 (2007)

    Article  Google Scholar 

  14. Khan, B.M., Ali, F.H.: Collision free mobility adaptive (CFMA) mac for wireless sensor networks. Telecommun. Syst. 52(4), 2459–2474 (2013)

    Article  Google Scholar 

  15. Ajith Kumar, S.A., Simonsen, K.I.F.: Towards a model-based development approach for wireless sensor-actuator network protocols. In: Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, pp. 35–39. ACM, New York (2014)

    Google Scholar 

  16. Kwiatkowska, M., Norman, G., Sproston, J.: Symbolic computation of maximal probabilisti reachability, pp. 169–183. Springer, Heidelberg (2001)

    Google Scholar 

  17. Kwiatkowska, M., Norman, G., Sproston, J.: Probabilistic model checking of the IEEE 802.11 wireless local area network protocol, pp. 169–187. Springer, Heidelberg (2002)

    Google Scholar 

  18. Li, Z., Liu, Y., Li, M., Wang, J., Cao, Z.: Exploiting ubiquitous data collection for mobile users in wireless sensor networks. IEEE Trans. Parallel Distrib. Syst. 24(2), 312–326 (2013)

    Article  Google Scholar 

  19. Nene, M.J., Deodhar, R.S., Patnaik, L.M.: Algorithm for autonomous reorganization of mobile wireless camera sensor networks to improve coverage. IEEE Sens. J. 15(8), 4428–4441 (2015)

    Article  Google Scholar 

  20. Saghar, K., Henderson, W., Kendall, D., Bouridane, A.: Formal modelling of a robust wireless sensor network routing protocol. In: 2010 NASA/ESA Conference on Adaptive Hardware and Systems, pp. 281–288, June 2010

    Google Scholar 

  21. Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D. (eds.) CAV, pp. 202–215 (2004)

    Google Scholar 

  22. Tunca, C., Isik, S., Donmez, M.Y., Ersoy, C.: Ring routing: an energy-efficient routing protocol for wireless sensor networks with a mobile sink. IEEE Trans. Mob. Comput. 14(9), 1947–1960 (2015)

    Article  Google Scholar 

  23. Zhai, H., Kwon, Y., Fang, Y.: Performance analysis of IEEE 802.11 MAC protocols in wireless lans. Wireless Commun. Mobile Comput. 4(8), 917–931 (2004)

    Article  Google Scholar 

  24. Zhang, C., Zhou, M.: A stochastic petri net-approach to modeling and analysis of ad hoc network. In: Proceedings of International Conference on Information Technology: Research and Education, ITRE 2003, pp. 152–156, August 2003

    Google Scholar 

  25. Zhang, F., Bu, L., Wang, L., Zhao, J., Chen, X., Zhang, T., Li, X.: Modeling and evaluation of wireless sensor network protocols by stochastic timed automata. In: Electron. Notes Theor. Comput. Sci. 296, 261–277 (2013). Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria

    Manel Houimli & Laid Kahloul

Authors
  1. Manel Houimli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laid Kahloul
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Laid Kahloul .

Editor information

Editors and Affiliations

  1. Faculty of Information Engineering, Department of Information and Communication Engineering, Fukuoka Institute of Technology, Fukuoka, Japan

    Leonard Barolli

  2. Technical University of Catalonia, Barcelona, Spain

    Fatos Xhafa

  3. Open University of Catalonia, Barcelona, Spain

    Jordi Conesa

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Houimli, M., Kahloul, L. (2018). Modeling and Performance Evaluation of Protocols in Mobile Wireless Sensor Networks. In: Barolli, L., Xhafa, F., Conesa, J. (eds) Advances on Broad-Band Wireless Computing, Communication and Applications. BWCCA 2017. Lecture Notes on Data Engineering and Communications Technologies, vol 12. Springer, Cham. https://doi.org/10.1007/978-3-319-69811-3_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-69811-3_30

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-69810-6

  • Online ISBN: 978-3-319-69811-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation