| 引用本文： |
-
邵梅,王玉斌,马争先,钟艳如.Ad hoc网络AODV协议的形式化分析与仿真[J].广西科学院学报,2010,26(4):461-464. [点击复制]
- SHAO Mei,WANG Yu-bin,MA Zheng-xian,ZHONG Yan-ru.Formal Analysis and Simulation of AODV Protocol in Ad hoc Wireless Network[J].Journal of Guangxi Academy of Sciences,2010,26(4):461-464. [点击复制]
|
|
| 摘要: |
| 基于形式化建模的思想,分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型,描述AODV协议的路由行为及算法思想,分析影响AODV协议性能的可能性因素后,利用NS2对AODV协议进行仿真,以指导对协议算法的改进及其下一步研究方向,使其更好地适应Ad hoc网络特点。 |
| 关键词: Ad hoc网络 AODV协议 形式化分析 有限状态机模型 NS2 |
| DOI： |
| 投稿时间：2010-08-16修订日期：2010-10-10 |
| 基金项目:广西自然科学基金项目(桂科自0991242)资助。 |
|
| Formal Analysis and Simulation of AODV Protocol in Ad hoc Wireless Network |
|
SHAO Mei, WANG Yu-bin, MA Zheng-xian, ZHONG Yan-ru
|
| (School of Computer Science and Engieering, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China) |
| Abstract: |
| 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. |
| Key words: Ad hoc network AODV formal analysis FSM NS2 |
