Verification of Energy Efficient Optimized Link State Routing Protocol using Petri net
Radhika D. Joshi, Priti P. Rege · International Journal of Wireless & Mobile Networks · 2011
Self-organizing ad hoc networks need development of efficient routing protocols in terms of reliable routing and energy conservation.For dense ad hoc networks, Optimized Link State Routing (OLSR) protocol is suitable due to its multipoint relaying (MPR) feature.We have tried to make the OLSR energy efficient by making effective neighbor selection based on residual battery energy of a node and traffic conditions that influence the drain rate of the node in the network.We have considered the multipath and source routing concept for route selection and a route recovery technique to tackle mobility issue efficiently.Modifications make the protocol energy efficient and at the same time achieve balancing of network load.Simulation results of OLSR and the modified protocol, show improvement in 'Number of nodes alive' against variation in pause time, speed, node density and simulation time.The work describes modified protocol verification using Petri net for future instances.