Effective Formal Unicast Routing for VANETs

被引:0
作者
Iqbal, Zafar [1 ]
Saeed, Tahreem [1 ]
Zafar, Nazir Ahmad [1 ]
机构
[1] COMSATS Inst Informat Technol, Dept Comp Sci, Sahiwal, Pakistan
来源
2017 FIFTH INTERNATIONAL CONFERENCE ON AEROSPACE SCIENCE & ENGINEERING (ICASE) | 2017年
关键词
VANETs; Unicast Routing; Location Estimation; Formal Methods; VDM-SL;
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
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.
引用
收藏
页数:6
相关论文
共 21 条
  • [1] Ahmed Shakeel, 2011, Proceedings of the 2011 International Conference on Wireless Networks (ICWN 2011), P173
  • [2] [Anonymous], J AD HOC NETWORKING
  • [3] Bernsen James, 2008, Fourth International Conference on Wireless and Mobile Communications. ICWMC 2008, P1, DOI 10.1109/ICWMC.2008.15
  • [4] V2V QoS Guaranteed Channel Access in IEEE 802.11p VANETs
    Chang, Che-Yu
    Yen, Hsu-Chun
    Deng, Der-Jiunn
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2016, 13 (01) : 5 - 17
  • [5] Chong Han, 2016, 2016 IEEE Wireless Communications and Networking Conference: Workshops (WCNCW), P84, DOI 10.1109/WCNCW.2016.7552680
  • [6] An evaluation methodology for reliable simulation based studies of routing protocols in VANETs
    Garcia-Campos, J. M.
    Sanchez-Garcia, J.
    Reina, D. G.
    Toral, S. L.
    Barrero, F.
    [J]. SIMULATION MODELLING PRACTICE AND THEORY, 2016, 66 : 139 - 165
  • [7] Preset delay broadcast: a protocol for fast information dissemination in vehicular ad hoc networks (VANETs)
    Gonzalez, Salvador
    Ramos, Victor
    [J]. EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, 2016,
  • [8] Jabeen J., 2014, INT J ENG RES TECHNO
  • [9] Jiang Q., 2016, PERVASIVE MOBILE COM
  • [10] Performance Analysis of AODV, DSR, and Swarm Intelligence Routing Protocols In Vehicular Ad hoc Network Environment
    Manvi, S. S.
    Kakkasageri, M. S.
    Mahapurush, C. V.
    [J]. INTERNATIONAL CONFERENCE ON FUTURE COMPUTER AND COMMUNICATIONS, PROCEEDINGS, 2009, : 21 - +