Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Quantitative Analysis of AODV ...

Quantitative Analysis of AODV and its Variants on Dynamic Topologies using Statistical Model Checking

Peter Höfner, Maryam Kamali, Quantitative Analysis of AODV and its Variants on Dynamic Topologies using Statistical Model Checking. In: Víctor Braberman, Laurent Fribourg (Eds.), 11th International Conference on Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science 8053, 121–136, Springer-Verlag, 2013.

Abstract:

Wireless Mesh Networks (WMNs) are self-organising ad-hoc networks that support broadband communication. Due to changes in the topology, route discovery and maintenance play a crucial role in the reliability and the performance of such networks. Formal analysis of WMNs using exhaustive model checking techniques is often not feasible: network size (up to hundreds of nodes) and topology changes yield state-space explosion. Statistical Model Checking, however, can overcome this problem and allows a quantitative analysis.
In this paper we illustrate this by a careful analysis of the Ad hoc On-demand Distance Vector (AODV) protocol. We show that some optional features of AODV are not useful, and that AODV shows unexpected behaviour—yielding a high probability of route discovery failure.

BibTeX entry:

@INPROCEEDINGS{inpHxKa13a,
  title = {Quantitative Analysis of AODV and its Variants on Dynamic Topologies using Statistical Model Checking},
  booktitle = {11th International Conference on Formal Modeling and Analysis of Timed Systems},
  author = {Höfner, Peter and Kamali, Maryam},
  volume = {8053},
  series = {Lecture Notes in Computer Science},
  editor = {Braberman, Víctor and Fribourg, Laurent},
  publisher = {Springer-Verlag},
  pages = {121–136},
  year = {2013},
  keywords = {AODV, statistical model checking, Uppaal},
}

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

Publication Forum rating of this publication: level 1

Edit publication