Validation of Routing Protocol for Mobile Ad Hoc Networks using Colored PetriNets

Prasad, P and Singh, B and Sahoo, A K (2010) Validation of Routing Protocol for Mobile Ad Hoc Networks using Colored PetriNets. BTech thesis.



In a Mobile Ad Hoc Network (MANET), mobile nodes directly send messages to each other via other nodes in a wireless environment. A node can send a message to a destination node beyond its transmission range by using other nodes as relay points, and thus a node can function as a router. With the explosive growth of the Internet and mobile communication networks, challenging requirements have been introduced into MANETs and designing routing protocols has become more complex. For a successful application of MANETS, it is very important to ensure that a routing protocol is unambiguous, complete and functionally correct. One approach to ensuring correctness of an existing routing protocol is to create a formal model for the protocol, and analyze the model to determine if needed the protocol provides the defined service correctly.

Colored Petri Nets (CPNs) are a suitable modeling language for this purpose, as it can conveniently express non-determinism , concurrency and different levels of abstraction that are inherent in routing protocols. However it is not easy to build a CPN model of a MANET because a node can move in and out of its transmission range and thus the MANET’s topology dynamically changes. So a topology approximation (TA) mechanism has been proposed to address this problem of mobility and perform simulations of routing protocol called Ad Hoc On demand Distance Vector Routing (AODV) and Distance Source Routing(DSR) and to perform comparison based on the simulation results.

Item Type:Thesis (BTech)
Uncontrolled Keywords:Routing Protocol,Ad Hoc Networks ,Colored PetriNets
Subjects:Engineering and Technology > Computer and Information Science > Wireless Local Area Network
Engineering and Technology > Computer and Information Science > Networks
Divisions: Engineering and Technology > Department of Computer Science
ID Code:1618
Deposited By:Asish Kumar Sahoo
Deposited On:11 May 2010 14:14
Last Modified:11 May 2010 14:14
Related URLs:
Supervisor(s):Rath, S K

Repository Staff Only: item control page