Vol. 4 (09) pp. 1986-1992 DOI: 10.21474/IJAR01/1682

VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD

and
  • Department of Computer Science and Engineering, Rajagiri School of Engineering and Technology Kochi, India.
15 Downloads 155 Views
Crossref

Download Full Paper (PDF)

Abstract

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.

Keywords

Article Analytics

How to Cite This Article

Ayana S and Shimmi Asokan. (2016); VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD, Int. J. of Adv. Res., 4 (09), 1986-1992, ISSN 2320-5407. DOI: https://doi.org/10.21474/IJAR01/1682

Corresponding Author

Ayana S

Creative Commons Attribution 4.0 This work is licensed under a Creative Commons Attribution 4.0 International License.