Towards Performance Evaluation of Mobile Ad Hoc Network Protocols

Abstract

Abstract-We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network layers, and the underlying dynamic topology. The link connectivity model, which implicitly models node mobility, specifies link up and down lifetimes. We use so-called constrained labeled multi-transition systems (CLMSs) to specify MANETs; transitions are annotated by network restrictions, capturing the topologies in which a transition is possible. A continuous Markov chain can be generated from a CLMS, to evaluate the performance of the corresponding MANET.

Stochastic Restricted Broadcast Process Theory

“…[12,18]). If transition rates are independent of the time at which a transition occurs, the derived CTMC is time-homogeneous, so that it can be used to evaluate the performance of a MANET in terms of different data-link layer service quality, mobility models, and protocol parameter settings.…”

“…1, performance evaluation of protocols (above the data-link layer) depends on data-link and physical layer protocols and the underlying dynamic topology of the network. These factors are taken into account in our semantic model in [12]:…”

“…-P UP abstracting the dynamic underlying topology: we assume nodes move under an identical mobility model. Therefore in the steady-state, the probability that a link exists between two arbitrary nodes can be computed as explained in [23] for a mobility model (see also [12]). Generally speaking, the higher P UP , the more successful communication.…”