Academic Journals Database
Disseminating quality controlled scientific knowledge

Effective Formal Procedure of Alternate Routings in MANET Improving Quality of Service

ADD TO MY LIST
 
Author(s): Shakeel Ahmed | A. K. Ramani | Nazir Ahmad Zafar

Journal: International Journal of Computer Science and Information Security
ISSN 1947-5500

Volume: 9;
Issue: 5;
Start page: 261;
Date: 2011;
Original page

Keywords: Ad Hoc networks | Alternate route | QoS | Formal methods | Z notation | Validation

ABSTRACT
Various protocols are proposed in Mobile Ad Hoc Networks (MANET) for finding the best route from source to destination however, there doesn’t exist any real protocol considering all the parameters needed to attain acceptable level of Quality of Service (QoS) for real-time interactive applications. Consequently this is an open research problem and has become a challenging issue for today’s network services. Due to mobility of the nodes in MANET the topology changes frequently, the nodes are self organized, lack centralized control and move freely. Many of the routing protocols proposed maintain only one route to the specified node and do not consider important QoS parameters like bandwidth, packet type and the route is rediscovered in these protocols by the source node when the earlier route fails. In this paper, we have proposed a new Formal approach of multipath node-disjoint routings based on AODV protocol which uses two node-disjoint routes between source and destination to improve QoS. In the proposed approach mobility of nodes, bandwidth requirement, and battery life are considered in route discovery process that can significantly reduce end-to-end delay and increase packet delivery ratio. Dynamic graphs are used to model the network topology since the nodes of MANET are not fixed. Investigation and analysis of the proposed routing protocol is carried out by employing formal techniques. Z notation is used to describe the formal model because of its abstract and rigorous power of specifying the properties. The specification is analyzed and validated using Z Eves tool.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions