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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Effective formal unicast routing for VANETs


    Beteiligte:
    Iqbal, Zafar (Autor:in) / Saeed, Tahreem (Autor:in) / Zafar, Nazir Ahmad (Autor:in)


    Erscheinungsdatum :

    01.11.2017


    Format / Umfang :

    426065 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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