Generalized Performance Modeling of Vehicular Ad Hoc Networks (VANETs)

In this paper, we study the statistical properties of the connectivity of VANETs with user mobility at the steady state. We assume a network of highways with arbitrary topology. The nodes arrive at the network through one of the traffic entry points following a Poisson process and move within the network according to a mobility model. The path of a node within the network is determined through a routing matrix. The system is modeled as a BCMP network of queues. We derive the probability distribution of the node population size within the network. Then, we determine the probability distribution of the cluster size seen by a new node arriving along a path. The presented numericals results illustrate the effect of mobility on connectivity. The results of the paper may be used to study the routing algorithms, throughput or delay in VANETs.