Vehicular Ad hoc Networks (VANETs) is an essential component of Intelligent Transportation System that includes connectivity of vehicles on the road. Out of multiple research issues of VANETs, efficient routing is a major concern. Effective routing is needed because VANETs are applied to critical applications like accident alerts, driver assistance during vague weather. For this reason, a fast vehicle to vehicle communication is required. In this study, a lane based low overhead unicast procedure is proposed particularly for VANETs. The overhead is minimized by omitting the continuous GPS readings and using a novel position estimation scheme. The entire network is designed by using graphs for the comprehension of the problem. The proposed model is described by using Formal Methods. Formal Methods (FM) is one of the novel mathematical techniques used to prove the correctness and consistency of the model. Vienna Development Method-Specification Language (VDM-SL), a FM, is used for the detailed level description of the protocol. The proposed unicast algorithm is then formalized through VDM-SL. Static and dynamic properties, syntax and semantics of the proposed algorithm is verified through VDM-SL Toolbox.
Effective formal unicast routing for VANETs
2017-11-01
426065 byte
Conference paper
Electronic Resource
English
Pheromone-Based V2V unicast routing scheme in VANETs
IEEE | 2013
|Intersection Based Routing in Urban VANETs
IEEE | 2015
|Improved GPSR Routing Protocol in VANETs
Trans Tech Publications | 2013
|A bio-inspired geographic routing in VANETs
IEEE | 2016
|