The experimental evaluation of vehicular ad hoc networks (VANETs) implies elevate economic cost and organizational complexity, especially in presence of solutions that target large-scale deployments. As performance evaluation is however mandatory prior to the actual implementation of VANETs, simulation has established as the de-facto standard for the analysis of dedicated network protocols and architectures. The vehicular environment makes network simulation particularly challenging, as it requires the faithful modelling not only of the network stack, but also of all phenomena linked to road traffic dynamics and radio-frequency signal propagation in highly mobile environments. In this Chapter, we will focus on the first aspect, and discuss the representation of mobility in VANET simulations. Specifically, we will present the requirements of a dependable simulation, and introduce models of the road infrastructure, of the driver's behaviour, and of the traffic dynamics. We will also outline the evolution of simulation tools implementing such models, and provide a hands-on example of reliable vehicular mobility modelling for VANET simulation.