Interference-Sensitive Preorders for MANETs

Michele Bugliesi 1 Lucia Gallina 2 Andrea Marin 3 Sabina Rossi 4, * Sardaouna Hamadou 5
* Auteur correspondant
1 DAIS - Departemanto di Scienze Ambientali Informatica e Statistica
2 DAIS - Dipartimento di Scienze Ambientali Informatica e Statistica
3 DAIS - Dipartemento di Scienze Ambientali Informatica e Statistica
4 DAIS - Dipartimento di Scienze Ambientali Informatica e Statistica
5 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
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.
Type de document :
Communication dans un congrès
Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, Sep 2012, London, United Kingdom. IEEE Computer Society, pp.189-198, 2012
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-00760455
Contributeur : Sardaouna Hamadou <>
Soumis le : lundi 10 décembre 2012 - 15:26:03
Dernière modification le : jeudi 10 mai 2018 - 02:06:39
Document(s) archivé(s) le : lundi 11 mars 2013 - 12:41:40

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00760455, version 2

Collections

INRIA | LIX | X | PARISTECH | X-LIX | X-DEP-INFO

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. IEEE Computer Society, pp.189-198, 2012. 〈hal-00760455v2〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

320

Téléchargements de fichiers

212

Contact


archive-ouverte@inria.fr