Ad hoc网络AODV协议的形式化分析与仿真  

Formal Analysis and Simulation of AODV Protocol in Ad hoc Wireless Network

作　　者：邵梅[1] 王玉斌[1] 马争先[1] 钟艳如[1] 

机构地区：[1]桂林电子科技大学计算机科学与工程学院,广西桂林541004

出　　处：《广西科学院学报》2010年第4期461-464,共4页Journal of Guangxi Academy of Sciences

基　　金：广西自然科学基金项目(桂科自0991242)资助

摘　　要：基于形式化建模的思想,分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型,描述AODV协议的路由行为及算法思想,分析影响AODV协议性能的可能性因素后,利用NS2对AODV协议进行仿真,以指导对协议算法的改进及其下一步研究方向,使其更好地适应Ad hoc网络特点。AODV is a typical on-demand routing protocol.In this paper based on a formal analysis of AODV,the finite state machine（FSM） models of source node,intermediate node and destination node are established,which clearly and accurately describe the routing behavior and algorithm of AODV.The problems of initial routing delay such as not the optimal shortest path,etc are illustrated and some solutions to the problems are proposed.The simulation of AODV in NS2 with some network protocol performance indicators is realized.The results show that the network has low throughput of datagrams in its early stages,and AODV shows degraded performance with increased number of nodes.Thus,it shows the models can effectively analyze AODV protocol.

关 键 词：Ad HOC网络 AODV协议 形式化分析 有限状态机模型 NS2 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]