A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks

Lucia Gallina 1 Sardaouna Hamadou 2 Andrea Marin 3 Sabina Rossi 4
2 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 : We propose a probabilistic, energy-aware, broadcast calculus for the analysis of mobile ad-hoc networks. The semantics of our model is expressed in terms of Segala's probabilistic automata driven by schedulers to resolve the nondeterministic choice among the probability distributions over target states. We develop a probabilistic observational congruence and a energy-aware preorder semantics. The observational congruence allows us to verify whether two networks exhibit the same observable probabilistic behaviour (connectivity), while the preorder is used to compare the energy consumption of different, but behaviourally equivalent, networks. As an application, we analyse and compare the energy consumption of two well-known automatic repeat request (ARQ)-based error control protocols: stop-and-wait (SW) and go-back-N (GBN).
Type de document :
Communication dans un congrès
Khalid Al-Begain and Simonetta Balsamo and Dieter Fiems and Andrea Marin. Analytical and Stochastic Modeling Techniques and Applications (ASMTA), Jun 2011, Venice, Italy. Springer, 6751, pp.316-330, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-21713-5_23〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00799156
Contributeur : Sardaouna Hamadou <>
Soumis le : lundi 11 mars 2013 - 16:45:29
Dernière modification le : mercredi 25 avril 2018 - 10:45:27
Document(s) archivé(s) le : dimanche 2 avril 2017 - 11:05:40

Fichier

ASMTA2011.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi. A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. Khalid Al-Begain and Simonetta Balsamo and Dieter Fiems and Andrea Marin. Analytical and Stochastic Modeling Techniques and Applications (ASMTA), Jun 2011, Venice, Italy. Springer, 6751, pp.316-330, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-21713-5_23〉. 〈hal-00799156〉

Partager

Métriques

Consultations de la notice

220

Téléchargements de fichiers

587