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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Effective formal unicast routing for VANETs


    Contributors:


    Publication date :

    2017-11-01


    Size :

    426065 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Pheromone-Based V2V unicast routing scheme in VANETs

    Kuo, Wen-Hsing / Dong, Shiqi / Huang, Jen-Shian | IEEE | 2013


    Making inter-flow network coding possible for unicast routing in VANETs

    Wu, Celimuge / Ohzahata, Satoshi / Ji, Yusheng et al. | IEEE | 2014


    Intersection Based Routing in Urban VANETs

    Acarman, Tankut / Yaman, Cagdas / Peksen, Yavuz et al. | IEEE | 2015


    Improved GPSR Routing Protocol in VANETs

    Yao, Jian ;Peng, Hao You ;Fu, Tian | Trans Tech Publications | 2013


    A bio-inspired geographic routing in VANETs

    Chen, Chen / Liu, Lei / Zhang, Ning et al. | IEEE | 2016