Loading...
Search for: inheritance
0.048 seconds

    A Framework for Formal Analysis of Warning Message Dissemination Schemes in VANETs Using an Extension of Rebeca

    , M.Sc. Thesis Sharif University of Technology Yousefi, Farnaz (Author) ; Movaghar, Ali (Supervisor)
    Abstract
    Vehicular ad-hoc networks have attracted the attention of many researchers during the last years due to the emergence of autonomous vehicles and the safety concerns regarding their use in near future. One of the major applications in this domain is the usage of vehicle to vehicle communication for warning message dissemination in dangerous situations to prevent more damage. A number of schemes have been proposed regarding the selection of forwarding nodes in this application and there is a need for developing frameworks for analysis and comparison of the schemes in fair situation. Most of the proposed frameworks make use of simulation techniques for the analysis of schemes. However, due to...