Paper Info
Title
Formal Modeling of BeeAdHoc: A Bio-inspired Mobile Ad Hoc Network Routing Protocol
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 BeeAdHocMANET routing protocol. One of the key components of our BeeAdHocmodel is the collision model at Medium Access Control (MAC) layer. The mathematical expressions of the performance metrics provide valuable insight about the behavior of BeeAdHocin particular, and a typical ad hoc routing protocol in general, without resorting to scenario specific time consuming simulations.
Year
DOI
Venue
2008
10.1007/978-3-540-87527-7_32
ANTS Conference
Keywords
Field
DocType
mathematical model,mobile ad hoc networks,bio-inspired mobile ad hoc,beeadhocmanet routing protocol,routing protocol,key component,scenario specific time consuming,key performance metrics,formal modeling,network routing protocol,mathematical expression,performance metrics,medium access control,mobile ad hoc network,network simulator
Link-state routing protocol,Dynamic Source Routing,Computer science,Computer network,Destination-Sequenced Distance Vector routing,Ad hoc wireless distribution service,Wireless Routing Protocol,Adaptive quality of service multi-hop routing,Optimized Link State Routing Protocol,Zone Routing Protocol,Distributed computing
Conference
Volume
ISSN
Citations 
5217
0302-9743
6
PageRank 
References 
Authors
0.53
10
3
Name
Order
Citations
PageRank
Muhammad Saleem1614.18
Syed Ali Khayam245033.86
Muddassar Farooq3122183.47