Formal Verification of Routing Protocols for Wireless Ad Hoc Networks

Author(s):  
Daniel Câmara ◽  
Antonio A.F. Loureiro ◽  
Fethi Filali
2021 ◽  
Vol 14 (4) ◽  
pp. 20
Author(s):  
Mahmoud Ali Al Shugran

A Vehicular Ad hoc Network (VANET) is a distinctive situation of wireless ad hoc networks. The designing of the routing protocol considers a critical role in communication in VANET. VANET has specific features compared to other types of wireless ad hoc networks that impose special characteristics for designing of efficient routing protocols.The challenging factor in designing efficient routing protocols for VANET is the high movement of vehicles that incurs a rapid change in the network topology that causes frequent link breakage. This paper presents and evaluates different position-based routing protocols associated with VANETs. The evaluation aiming to determine appropriate specifications for optimal routing protocols’ features achieving best performance within different environmental conditions. The performance comparison is carried out in terms of Packet Delivery Rate (PDR), Void Problem Occurrence Rate (VPOR), and Average Hops Count (AHC).


2021 ◽  
Vol 13 (2) ◽  
pp. 9-24
Author(s):  
Mahmoud Ali Al Shugran

Vehicular Ad hoc Networks (VANETs) is new sort in wireless ad-hoc networks. Vehicle-to-Vehicle (V2V) communication is one of the main communication paradigms that provide a level of safety and convenience to drivers and passengers on the road. In such environment, routing data packet is challenging due to frequently changed of network topology because of highly dynamic nature of vehicles. Thus, routing in VANETs in require for efficient protocols that guarantee message transmission among vehicles. Numerous routing protocols and algorithms have been proposed or enhanced to solve the aforementioned problems. Many position based routing protocols have been developed for routing messages that have been identified to be appropriate for VANETs. This work explores the performances of selected unicast non-delay tolerant overlay position-based routing protocols. The evaluation has been conducted in highway and urban environment in two different scenarios. The evaluation metrics that are used are Packet Delivery Ratio (PDR), Void Problem Occurrence (VPO), and Average Hop Count (AHC).


Sign in / Sign up

Export Citation Format

Share Document