VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD | Zendy

S Ayana | Zendy; Shimmi Asokan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

VERIFICATION OF CONGESTION CONTROL PROTOCOL IN VANETs USING FORMAL METHOD

Author(s) -

S Ayana,

Shimmi Asokan

Publication year - 2016

Publication title -

international journal of advanced research

Language(s) - English

Resource type - Journals

ISSN - 2320-5407

DOI - 10.21474/ijar01/1682

Subject(s) - protocol (science) , computer science , formal methods , network congestion , computer network , software engineering , medicine , alternative medicine , pathology , network packet

Congestion control protocols developed in order to resolve the issue of congestion in VANET must ensure a reliable communication of safety-related messages. In this work, we focused on formally verifying Congestion Control (CC) protocol in VANETs using model checking technique. The protocol was formally verified using a network of timed automata. The model was verified against reachability, safety and liveness properties to analyze the reliable and functional aspects of the protocol. A model checking tool UPPAAL was used for formally modeling, simulating and verifying the protocol. Keywords—Congestion; Model Checking; Timed Automata; UPPAAL; VANET

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research