DMCA
Ad Hoc Routing Protocol Validation (2005)
| Citations: | 1 - 0 self |
BibTeX
@MISC{Wibling05adhoc,
author = {Oskar Wibling and Oskar Wibling and Oskar Wibling},
title = {Ad Hoc Routing Protocol Validation},
year = {2005}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We explore and evaluate methods for validation of ad hoc routing protocols which are used to set up forwarding paths in spontaneous networks of mobile devices. The focus is automatic formal verification but we also make an initial account of a protocol performance comparison using structured live testing. State explosion is a major problem in algorithmic verification of systems with concurrently executing components. We comment on some of the best reduction methods and their applicability to our work. For reactively operating ad hoc routing protocols we provide a broadcast abstraction which enables us to prove correct operation of the Lightweight Underlay Network Ad hoc Routing protocol (LUNAR) in scenarios of realistic size. Our live testing effort has thus far uncovered significant problems in the interoperation between TCP and ad hoc routing protocols. Severe performance degradation results in networks of just a few nodes when very little mobility is introduced. This indicates that verification for smaller network sizes is also interesting since those configurations may be the only useful ones for certain types of applications.
Keyphrases
ad hoc routing protocol validation ad hoc routing protocol network size certain type automatic formal verification reduction method lightweight underlay network ad hoc major problem algorithmic verification ad hoc uncovered significant problem mobile device initial account protocol performance comparison useful one live testing spontaneous network little mobility correct operation severe performance degradation result realistic size state explosion broadcast abstraction live testing effort
