Coverage Analysis of Fog-Enabled Vehicular Networks with User Mobility

Fog-enabled vehicular network (FVNET) has been envisioned as a promising solution to provide seamless coverage for the vehicles. However, the mobility of the vehicles and consequently more frequently handoffs make it particularly challenging to characterize the system performance of FVNET. In this paper, we propose an analytical framework to evaluate the coverage performance of FVNET, taking the impact of the vehicles' mobility in two successive time slots into account. Specifically, we first identify all the handoffs cases that can occur due to the vehicles' moblity, namely, no-handoff, horizontal handoff, and vertical handoff. Then, using tools from stochastic geometry, we derive the compact expressions of access probability and joint coverage probability of our system. Numerical results validate our analysis and show that the degrading impacts of the vehicles' mobility on the coverage performance can be well relieved by properly deploying the fog access points.