文章基本信息

标题：Verifying Route Request Procedure of AODV Using Graph Theory and Formal Methods
本地全文：下载
作者：Shakeel Ahmed ; A. K. Ramani ; Nazir Ahmad Zafar 等
期刊名称：International Journal on Applications of Graph Theory in Wireless ad hoc Networks and Sensor Networks
印刷版ISSN：0975-7260
电子版ISSN：0975-7031
出版年度：2011
卷号：3
期号：2
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：Phenomenal growth both in wireless ad hoc networks and network-based real time applications has led to rapid change in the industry. For this purpose various protocols are designed for routing packets from source to destination to attain a better Quality of Service (QoS), which requires a mechanism that guarantees bounded delay and jitter. Finding the best route to destination satisfying the QoS for real-time interactive application has become a challenge for today’s network services. The routing table of Ad hoc on-demand routing protocol (AODV) maintains only one route to the specified node without considering the other important parameters. This paper proposes a Formal framework to improve the QoS by searching the graph using formal techniques. The searching technique is based on considering packet type and battery life. Because the nodes of AODV protocol are not fixed hence the dynamic graphs are used to model the network topology. The Z notation is used to transform the graph into formal specification of the protocol. Finally, the formal specification is analyzed and validated using Z Eves tool.
关键词：AODV; Formal methods; Z notation; Graph theory; Route request procedure; QoS