Probabilistic Mobility Models for Mobile and Wireless Networks - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

Probabilistic Mobility Models for Mobile and Wireless Networks

Résumé

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].
Fichier principal
Vignette du fichier
03230086.pdf (224.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054442 , version 1 (06-08-2014)

Licence

Identifiants

Citer

Lei Song, Jens Chr. Godskesen. Probabilistic Mobility Models for Mobile and Wireless Networks. 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. pp.86-100, ⟨10.1007/978-3-642-15240-5_7⟩. ⟨hal-01054442⟩
75 Consultations
124 Téléchargements

Altmetric

Partager

More