Sciweavers

Share
ACSD
2010
IEEE

Towards Performance Evaluation of Mobile Ad Hoc Network Protocols

10 years 21 days ago
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols
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.
Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink
Added 10 Feb 2011
Updated 10 Feb 2011
Type Journal
Year 2010
Where ACSD
Authors Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink
Comments (0)
books