Abstract
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. © 2008 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Saleem, M., Khayam, S. A., & Farooq, M. (2008). Formal modeling of BeeAdHoc: A bio-inspired mobile ad hoc network routing protocol. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5217 LNCS, pp. 315–322). https://doi.org/10.1007/978-3-540-87527-7_32
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
