30Sep 2016

VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD

  • Department of Computer Science and Engineering, Rajagiri School of Engineering and Technology Kochi, India.
Crossref Cited-by Linking logo

  • Abstract
  • Keywords
  • Cite This Article as
  • Corresponding Author

Congestion control protocols developed in order to resolve the issue of congestion in VANETs must ensure reliable communication of safety-related 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 tool UPPAAL was used for formally modelling, simulating and verifying the protocol.

[Ayana S and Shimmi Asokan. (2016); VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD Int. J. of Adv. Res. 4 (Sep). 1986-1992] (ISSN 2320-5407). www.journalijar.com

Ayana S

DOI:

Article DOI: 10.21474/IJAR01/1682      
DOI URL: https://dx.doi.org/10.21474/IJAR01/1682

Download Full Paper

Download PDF No. of Downloads: 15 | No. of Views: 116