Formal Verification of Safety Message Dissemination Protocol for Vanets

Berlin, M.A.; Anand, S.

doi:10.3844/jcssp.2013.1069.1078

Cited by 4 publications

(2 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proposed protocol has been verified using SPIN model checker (Berlin and Sheila 2013 ). Formal verification is a mathematical approach that is used to model the possible behavior of the protocol.…”

Section: Introductionmentioning

confidence: 99%

Direction based Hazard Routing Protocol (DHRP) for disseminating road hazard information using road side infrastructures in VANETs

Berlin¹,

Anand²

2014

SpringerPlus

View full text Add to dashboard Cite

This paper presents Direction based Hazard Routing Protocol (DHRP) for disseminating information about fixed road hazards such as road blocks, tree fall, boulders on road, snow pile up, landslide, road maintenance work and other obstacles to the vehicles approaching the hazardous location. The proposed work focuses on dissemination of hazard messages on highways with sparse traffic. The vehicle coming across the hazard would report the presence of the hazard. It is proposed to use Road Side fixed infrastructure Units for reliable and timely delivery of hazard messages to vehicles. The vehicles can then take appropriate safety action to avoid the hazardous location. The proposed protocol has been implemented and tested using SUMO simulator to generate road traffic and NS 2.33 network simulator to analyze the performance of DHRP. The performance of the proposed protocol was also compared with simple flooding protocol and the results are presented.

show abstract

Section: Introductionmentioning

confidence: 99%

Direction based Hazard Routing Protocol (DHRP) for disseminating road hazard information using road side infrastructures in VANETs

Berlin¹,

Anand²

2014

SpringerPlus

View full text Add to dashboard Cite

show abstract

“…As an important part of intelligent transportation, VANET has broad prospects in warning of the accident, traffic management, tourism, entertainment and so on [1,2]. Routing protocol provides technical support for these applications.…”

Section: Introductionmentioning

confidence: 99%

GPCR-D: A Topology and Position Based Routing Protocol in VANET

Xiao

Liu

Sun

et al. 2013

AMR

View full text Add to dashboard Cite

Compared with traditional GPCR, there are three differences in the new GPCR-D: 1) GPCR-D is a topology and position based routing protocol. 2) It can detect dynamically the network density and establish the local areas with high node density, where vehicles speed is limited and topology changes slowly. Therefore, we adopt shortest path algorithm aimed at delivering packets speedily. While outside the local areas, topology changes rapidly, so greedy forwarding is used to avoid restoring and maintaining links frequently. Thus GPCR-D makes full use of their respective advantages. 3) The repair strategy of GPCR-D selects the neighbor whose direction is closest to destination in the neighbor table as the next forwarding hop. The simulation shows that GPCR-D works more effectively than GPCR in terms of average delivery success rate and end-to-end time delay.

show abstract