Skip to Main content Skip to Navigation
Conference papers

Interference-Sensitive Preorders for MANETs

Abstract : Connectivity and communication interference are two key aspects in mobile ad-hoc networks (MANETs). We propose a process algebraic model targeted at the analysis of both such aspects of MANETs. The framework includes a probabilistic process calculus and a suite of analytical techniques based on a probabilistic observational congruence and an interference-sensitive preorder. The observational congruence allows us to verify whether two networks exhibit the same behaviour. The preorder makes it possible to evaluate the interference level of different, behaviourally equivalent, networks. We show our framework at work on the analysis of the well-known Alternating Bit Protocol, contrasting the behavior of the standard implementation of the protocol against an alternative implementation that exploits an ideal interference cancellation scheme for CDMA transmissions.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-00760455
Contributor : Sardaouna Hamadou <>
Submitted on : Monday, December 10, 2012 - 3:26:03 PM
Last modification on : Thursday, March 5, 2020 - 6:26:51 PM
Long-term archiving on: : Monday, March 11, 2013 - 12:41:40 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00760455, version 2

Collections

Citation

Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou. Interference-Sensitive Preorders for MANETs. Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, Sep 2012, London, United Kingdom. pp.189-198. ⟨hal-00760455v2⟩

Share

Metrics

Record views

535

Files downloads

661