Probabilistic Mobility Models for Mobile and Wireless Networks

Abstract : In this paper we present a probabilistic broadcast calculus for mobile and wireless networks whose connections are unreliable. In our calculus, broadcasted messages can be lost with a certain probability, and due to mobility the connection probabilities may change. If a network broadcasts a message from a location, it will evolve to a network distribution depending on whether nodes at other locations receive the message or not. Mobility of nodes is not arbitrary but guarded by a probabilistic mobility function (PMF), and we also define the notion of a weak bisimulation given a PMF. It is possible to have weak bisimular networks which have different probabilistic connectivity information. We furthermore examine the relation between our weak bisimulation and a minor variant of PCTL* [1]. Finally, we apply our calculus on a small example called the Zeroconf protocol [2].
Type de document :
Communication dans un congrès
Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.86-100, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_7〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01054442
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 août 2014 - 16:24:40
Dernière modification le : mercredi 9 août 2017 - 12:03:19
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 00:55:55

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Lei Song, Jens Chr. Godskesen. Probabilistic Mobility Models for Mobile and Wireless Networks. Cristian S. Calude; Vladimiro Sassone. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. Springer, IFIP Advances in Information and Communication Technology, AICT-323, pp.86-100, 2010, Theoretical Computer Science. 〈10.1007/978-3-642-15240-5_7〉. 〈hal-01054442〉

Partager

Métriques

Consultations de la notice

79

Téléchargements de fichiers

53