Loading...

Towards performance evaluation of mobile ad hoc network protocols

Ghassemi, F ; Sharif University of Technology

503 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/ACSD.2010.20
  3. Abstract:
  4. 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
  5. Keywords:
  6. Connectivity model ; Formal framework ; Markov chain ; Node mobility ; Performance evaluation ; Stochastic behavior ; Stochastic properties ; Transition system ; Underlying dynamics ; Ad hoc networks ; Markov processes ; Mobile ad hoc networks ; Model checking ; Network layers ; Stochastic systems ; Topology ; Network protocols
  7. Source: Proceedings - International Conference on Application of Concurrency to System Design, ACSD, 21 June 2010 through 25 June 2010, Braga ; 2010 , Pages 85-92 ; 15504808 (ISSN) ; 9780769540665 (ISBN)
  8. URL: http://dl.acm.org/citation.cfm?id=1844882