Reliability Evaluation in Cognitive Radio VANET

Vehicular Ad-Hoc Networks have increased the opportunity to use Cognitive Radio (CR) to cope with spectrum scarcity and increase reliability. Despite all efforts to improve the reliability of CR-VANETs, there are no mathematical and scalable methods for modelling and evaluating CR-VANETs. This paper investigates the problem of assessing the reliability of a multi-hop and multi-channel CR-VANET in safety applications. Two formal and scalable methods, Boolean notation and the Petri Net model, are provided to model and evaluate the reliability of CR-VANET. We give a detailed simulation study with NS3 to support our theory. Our analytical and simulation results indicate the effectiveness of CR in increasing the reliability of VANET. By these results, one can evaluate the network’s reliability and tune the network parameters for better reliability.