Analysis of multi-hop broadcast in vehicular ad hoc networks: A reliability perspective

Abstract

Intelligent Transportation Systems (ITS), supporting the development of innovative vehicular applications, have benefited from major contributions in the field of wireless networking. Broadcasting is a crucial communication type for many domain-specific applications. In this work we focus on analytical modeling of multi-hop broadcast in vehicular networks and quantify its performance in terms of relevant indicators, by taking into account the effect of main parameters. Our model is based on the network topology and as a result, the major network characteristics such as vehicle density and the number of 1-hop neighbors, affecting dissemination penetration rate, are considered in the model. Through extensive experiments, confirming the substantial impact of the network topology and the connectivity regime on the overall broadcast performance, we provide insight into the system functionality. Such observations can be used as feedback for further performance optimization in various network conditions.

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs

“…This value is computed as a function of the number of neighbors of each vehicle, the rebroadcast probability, and the dissemination distance. In another work, a probabilistic multi-hop broadcast scheme is mathematically formulated and the packet reception probability is reported for different configurations, taking into account the topology of the network and as a result, major network characteristics such as vehicle density and the number of one-hop neighbors [6]. This approach guarantees achieving correct results but it is not modular and developing mathematical formula needs a high degree of user interaction and a high degree of expertise.…”

Towards reliable multi-hop broadcast in VANETs: An analytical approach

“…In this section, we briefly describe our work on modeling multi-hop broadcast in [8], as the preliminary steps of the work in this paper. That is, we analytically modeled a single cycle of multi-hop broadcast in two-dimensional vehicular networks.…”

“…Y in P (x, b, Y ) represents the set of all network nodes, as the potential rebroadcasters that node x may receive the packet from. Note that b = 0 is considered for the original broadcast by the source node s. See [8] for more detail regarding formulation, though this is not requisite to follow the work here.…”