Formal Modeling of BeeAdHoc: A Bio-inspired Mobile Ad Hoc Network Routing Protocol

  • Muhammad Saleem
  • Syed Ali Khayam
  • Muddassar Farooq
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5217)


Design and development of routing protocols for Mobile Ad Hoc Networks (MANETs) is an active area of research. The standard practice among researchers working in this emerging domain is to evaluate the performance of their routing protocols in a network simulator. It is now a well known fact that the simulation studies are scenario specific and hence their results can not be generalized. In this paper, we present mathematical models of two key performance metrics, routing overhead and route optimality, of BeeAdHoc MANET routing protocol. One of the key components of our BeeAdHoc model is the collision model at Medium Access Control (MAC) layer. The mathematical expressions of the performance metrics provide valuable insight about the behavior of BeeAdHoc in particular, and a typical ad hoc routing protocol in general, without resorting to scenario specific time consuming simulations.


Medium Access Control Source Node Optimal Path Route Optimality Route Discovery 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Caro, G.D., Ducatelle, F., Gambardella, L.M.: AntHocNet: An adaptive nature-inspired algorithm for routing in mobile ad hoc networks. Telecommunications (ETT), Special Issue on Self Organization in Mobile Networking 16(2) (2005)Google Scholar
  2. 2.
    Genes, M., Sorges, U., Bouazizi, I.: ARA - the ant-colony based routing algorithm for manets. In: Proceedings of ICPP Workshop on Ad Hoc Networks (2002)Google Scholar
  3. 3.
    Farooq, M.: Bee-inspired Protocol Engineering: From Nature to Networks. Natural Computing Series. Springer, Heidelberg (in press)Google Scholar
  4. 4.
    Wedde, H., Farooq, M., Pannenbaecke, T., Vogel, B., Mueller, C., Meth, J., Jeruschkat, R.: BeeAdHoc: an energy efficient routing algorithm for mobile ad hoc networks inspired by bee behavior. In: Proceedings of GECCO (2005)Google Scholar
  5. 5.
    Rajagopalan, S., Shen, C.C.: ANSI: a swarm intelligence-based unicast routing protocol for hybrid ad hoc networks. Journal of System Architecture 52(8-9), 485–504 (2006)CrossRefGoogle Scholar
  6. 6.
    Kurkowski, S., Camp, T., Colagrosso, M.: MANET simulation studies: The incredibles. ACM SIGMOBILE Mobile Computing and Communications Review 9(4), 50–61 (2005)CrossRefGoogle Scholar
  7. 7.
    Roth, M.: The markovian termite: A soft routing framework. In: Proceedings of IEEE Swarm Intelligence Symposium, SIS (April 2007)Google Scholar
  8. 8.
    Saleem, M., Khayam, S.A., Farooq, M.: A formal performance modeling framework for bio-inspired ad hoc routing protocols. In: Proceedings of GECCO (2008)Google Scholar
  9. 9.
    Zahid, S., Shehzad, M., Ali, S.U., Farooq, M.: A comprehensive formal framework for analyzing the behavior of nature inspired routing protocols. In: Proceedings of IEEE Congress on Evolutionary Computing (CEC) (2007)Google Scholar
  10. 10.
    Bettstetter, C.: On the minimum node degree and connectivity of a wireless multihop network. In: Proceedings of MobiHoc (2002)Google Scholar
  11. 11.
    Heusse, M., Rousseau, F., Sabbatel, G.B., Duda, A.: Performance anomaly of 802.11b. In: Proceedings of IEEE INFOCOM (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Muhammad Saleem
    • 1
  • Syed Ali Khayam
    • 2
  • Muddassar Farooq
    • 3
  1. 1.Center for Advanced Studies in Engineering (CASE)IslamabadPakistan
  2. 2.WisNeT, SEECS-NUSTRawalpindiPakistan
  3. 3.nexGIN RC, NUCES-FASTIslamabadPakistan

Personalised recommendations