Paper Info
Title
Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification
Abstract
Vehicular ad hoc networks (VANETs), which are a class of Mobile ad hoc networks, have recently been developed as a standard means of communication among moving vehicles. Since VANETs are vital to the safety of the vehicles, the infrastructure, and the humans involved, a deep analysis of their potential behaviours is clearly required. In this paper we provide this analysis through the use of formal verification. Specifically, we formally analyse a specific congestion control protocol for VANETs using a probabilistic model checking technique, and investigate its correctness and effectiveness.
Year
DOI
Venue
2011
10.1109/VETECS.2011.5956327
Vehicular Technology Conference
Keywords
Field
DocType
formal verification,road safety,road vehicles,telecommunication congestion control,vehicular ad hoc networks,VANET congestion control protocol,formal analysis,formal verification,mobile ad hoc networks,probabilistic model checking technique,probabilistic verification,vehicle safety,vehicular ad hoc networks
Mobile ad hoc network,Computer science,Correctness,Computer network,Bandwidth (signal processing),Network congestion,Wireless ad hoc network,Probabilistic logic,Vehicular ad hoc network,Distributed computing,Formal verification
Conference
ISSN
ISBN
Citations 
1550-2252
978-1-4244-8332-7
8
PageRank 
References 
Authors
0.78
8
2
Name
Order
Citations
PageRank
Savas Konur113113.40
Michael Fisher269149.23