VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD

Ayana S, Shimmi Asokan.
2016 International Journal of Advanced Research  
Congestion control protocols developed in order to resolve the issue of congestion in VANETs must ensure reliable communication of safetyrelated messages. In this work we focused on formally verifying congestion control protocol in VANETs using model checking technique. The protocol was formally modeled using a network of timed automata. The model was verified against reachability, safety and liveness properties to analyze the reliability and functional aspects of the protocol. A model checking
more » ... tool UPPAAL was used for formally modelling, simulating and verifying the protocol.
doi:10.21474/ijar01/1682 fatcat:kf4z6g7gb5gfjgizhocd5q56he