Where academic tradition
meets the exciting future

AODVv2: Performance vs. Loop Freedom

Mojgan Kamali, Massimo Merro, Alice Dal Corso, AODVv2: Performance vs. Loop Freedom. In: A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiři Wiedermann (Eds.), SOFSEM 2018: Theory and Practice of Computer Science, 337–350, Springer, 2018.


We compare two evolutions of the Ad-hoc On-demand Distance Vector (AODV) routing protocol, i.e. DYMO and AODVv2-16. In particular, we apply statistical model checking to investigate the performance of these two protocols in terms of routes established and looping routes. Our modelling and analysis are carried out by the Uppaal Statistical Model Checker on 3×3 grids, with possibly lossy communication.

BibTeX entry:

  title = {AODVv2: Performance vs. Loop Freedom},
  booktitle = {SOFSEM 2018: Theory and Practice of Computer Science},
  author = {Kamali, Mojgan and Merro, Massimo and Dal Corso, Alice},
  editor = {Tjoa, A Min and Bellatreche, Ladjel and Biffl, Stefan and van Leeuwen, Jan and Wiedermann, Jiři},
  publisher = {Springer},
  pages = {337–350},
  year = {2018},

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication