An Improvement of the Route Discovery Process in AODV for Ad Hoc Network

Author(s):  
Yongjun Hu ◽  
Tao Luo ◽  
Junliang Shen
2015 ◽  
Vol 83 (2) ◽  
pp. 1519-1529 ◽  
Author(s):  
Shariq Mahmood Khan ◽  
R. Nilavalan ◽  
Abdulhafid F. Sallama

2016 ◽  
Vol 72 (3) ◽  
pp. 1201-1214 ◽  
Author(s):  
Phonepadith Phoummavong ◽  
Keisuke Utsu ◽  
Chee Onn Chow ◽  
Hiroshi Ishii

2021 ◽  
Author(s):  
Ling Zhang ◽  
Qin Liu

Abstract This paper addresses the optimization of on-demand routing protocols for quantum wireless Ad Hoc network. This paper proposes an optimal quantum route metric algorithm that integrates quantum route metric and classic route metric to select a better route path for quantum communication. The paper also improves the route discovery protocol by proposing a "reverse synchronization method" which means after the route request is completed, the quantum entanglement channel is established synchronously when the reverse path is established. This method, better than general methods which builds quantum channels after the forward path establishment, reduces the time and the numbers of messages for quantum channel establishment, thus improving the efficiency. Accordingly, this paper elaborates the specific methods, procedures and related upgrading message formats involved in quantum route discovery, quantum channel establishment and quantum information transmission of on-demand routing protocols for quantum wireless Ad Hoc network. The advantage of the "reverse synchronization method" in reducing the time and the numbers of messages for quantum channel establishment is verified through analysis on protocol performance.


Author(s):  
Zafar Mehmood Khattak ◽  
Muddesar Iqbal ◽  
Xingheng Wang

A Mobile Adhoc Network is a multihop self-configuring network without any fixed infrastructure of wirelessly connected devices. Due to node mobility and, dynamic topology, designing and implementing reliable routing in MANET is a major challenge. This paper provides the comparative performance analysis of DSR, AODV and DSDV. Different types of test scenarios have been designed with fixed number of nodes and varying mobility. The experimental results have been analyzed and recommendations based on the obtained results have been proposed about the significance of each protocol in different scenarios and situations which will help the researcher in the field to select best protocol under predefined conditions with varied mobility. Furthermore, based on the learning from comparative performance analysis, some modification to AODV route discovery process has been proposed and evaluated. The proposed changes have made significant improvement both in throughput and packet delivery fraction.


2016 ◽  
Vol 11 (11) ◽  
pp. 1028
Author(s):  
Qurrotul Aini ◽  
Achmad Affandi ◽  
Eko Setijadi ◽  
Takuya Terasawa ◽  
Mauridhi Hery Purnomo

Author(s):  
Ika Oktavia Suzanti ◽  
Reza Pulungan

AbstrakMobile Ad-hoc Network (MANET) adalah sekumpulan wireless mobile yang terhubung satu sama lain tanpa infrastruktur yang tetap sehingga perubahan topologi dapat terjadi setiap saat. Protokol routing MANET memiliki dua model yaitu protokol routing reaktif yang membentuk tabel routing hanya saat dibutuhkan dan protokol routing proaktif yang melakukan pemeliharaan tabel routing secara berkala. Properti umum yang harus dipenuhi oleh protokol jaringan ad-hoc adalah route discovery, packet delivery dan loop fredom. AODV merupakan protokol reaktif MANET yang memiliki standar waktu berapa lama sebuah rute dapat digunakan (route validity), sehingga properti route discovery dan packet delivery harus dapat dipenuhi dalam waktu tersebut. Proses verifikasi protokol dilakukan dengan memodelkan spesifikasi protokol menggunakan teknik, tool, dan bahasa matematis. Pada penelitian ini bahasa pemodelan  yang digunakan adalah timed automata, yaitu bahasa pemodelan untuk memodelkan sistem yang memiliki ketergantungan terhadap waktu tertentu pada setiap prosesnya. Verifikasi protokol dilakukan secara otomatis dengan mengggunakan tool model checker UPPAAL.Protokol yang diverifikasi adalah protokol AODV Break Avoidance milik Ali Khosrozadeh dkk dan protokol AODV Reliable Delivery dari Liu-Jian dan Fang-Min. Hasil verifikasi protokol membuktikan bahwa protokol AODV Break Avoidance mampu memenuhi properti route discovery dan protokol AODV Reliable Delivery mampu memenuhi properti packet delivery dalam waktu sesuai dengan spesifikasi. Kata kunci —Verifikasi Protokol, Timed Automata,  AODV, UPPAAL Abstract MANET is a group of wireless mobile that connected one to each other without fixed infrastructure so topology could change at anytime. MANET routing protocol has two models which are reactive routing protocol that built routing table only when needed and proactive routing protocol that maintain routing table periodically. General property which had to be satisfied by ad-hoc network protocol are route discovery, packet delivery and loop freedom. AODV is a reactive protocol in MANET that has time standard to determine how long a route is valid to be used (route validity) so route discovery and packet delivery property should be satisfied in a specifically certain time. Protocol verification process done by modeling protocol specification using technique, tool and mathematic language.In this research protocol modeled using timed automata which is a modeling language that could be used to model a time dependent system in each process. Verification using timed automata can automatically done by UPPAAL tool model checker.Protocol which will be verified are AODV Break Avoidance by Ali Khosrozadeh et al. and AODV Reliable Delivery by Liu Jian and Fang-Min. Result of this protocol verification prove that AODV BA could satisfied route discovery property and AODV Reliable Delivery could satisfied packet delivery property within their specification time. Keywords—Protocol Verification, Timed Automata, AODV, UPPAAL


Sign in / Sign up

Export Citation Format

Share Document