TY - GEN
T1 - Analysis of probabilistic flooding in VANETs for optimal rebroadcast probabilities
AU - Saeed, Taqwa
AU - Lestas, Marios
AU - Mylonas, Yiannos
AU - Pitsillides, Andreas
AU - Papadopoulou, Vicky
N1 - Publisher Copyright:
© 2016 IEEE.
PY - 2016/6/30
Y1 - 2016/6/30
N2 - A number of probabilistic flooding schemes have been recently considered in VANETs to address problems of information dissemination in safety applications. The design approach has so far been simulative, a method which does not guarantee that the derived protocols will work when the simulation settings are violated in practice. In this paper, motivated by the need to design information dissemination protocols with verifiable properties prior to implementation, we employ mathematical models of single and multiple lane roads to investigate probabilistic flooding in VANETs using mathematical analysis. We demonstrate that the system can be described by linear difference equations the solutions of which yield the probability of all vehicles receiving the critical message as a function of the rebroadcast probability, the number of neighbors of each vehicle and the number of vehicles. We utilize the obtained solutions to derive the desired rebroadcast probabilities as a function of the transmission range, the vehicle density and the dissemination distance. The obtained results are in line with results obtained using extensive simulations and can be used as a baseline to develop information dissemination protocols with verifiable properties.
AB - A number of probabilistic flooding schemes have been recently considered in VANETs to address problems of information dissemination in safety applications. The design approach has so far been simulative, a method which does not guarantee that the derived protocols will work when the simulation settings are violated in practice. In this paper, motivated by the need to design information dissemination protocols with verifiable properties prior to implementation, we employ mathematical models of single and multiple lane roads to investigate probabilistic flooding in VANETs using mathematical analysis. We demonstrate that the system can be described by linear difference equations the solutions of which yield the probability of all vehicles receiving the critical message as a function of the rebroadcast probability, the number of neighbors of each vehicle and the number of vehicles. We utilize the obtained solutions to derive the desired rebroadcast probabilities as a function of the transmission range, the vehicle density and the dissemination distance. The obtained results are in line with results obtained using extensive simulations and can be used as a baseline to develop information dissemination protocols with verifiable properties.
UR - http://www.scopus.com/inward/record.url?scp=84979781480&partnerID=8YFLogxK
U2 - 10.1109/NOMS.2016.7502984
DO - 10.1109/NOMS.2016.7502984
M3 - Conference contribution
AN - SCOPUS:84979781480
T3 - Proceedings of the NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium
SP - 1181
EP - 1186
BT - Proceedings of the NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium
A2 - Badonnel, Sema Oktug
A2 - Ulema, Mehmet
A2 - Cavdar, Cicek
A2 - Granville, Lisandro Zambenedetti
A2 - dos Santos, Carlos Raniery P.
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 2016 IEEE/IFIP Network Operations and Management Symposium, NOMS 2016
Y2 - 25 April 2016 through 29 April 2016
ER -