Vérification et Évaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Vérification et Évaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier

Résumé

Dans le domaine des réseaux de capteurs sans fils mobiles, la vérification et l'évaluation des performances des protocoles de communication dépendent notamment du modèle retenu décrivant la mobilité des n?uds. Pour la vérification formelle, un modèle de mobilité est d'autant plus approprié qu'il permet de limiter la taille de l'espace des états en limitant les comportements erratiques. Nous utilisons des extensions du ?-calcul, à savoir le ?-calcul probabiliste et stochastique, pour modéliser la mobilité des n?uds par échange des voies de communication et analyser les effets de la mobilité sur les performances des protocoles des réseaux de capteurs sans fils mobiles. Face au manque d'outils permettant de traiter ces modèles, nous proposons de transformer ces modèles en chaînes de Markov analysables avec l'outil PRISM. Cette approche a néanmoins une limite : les modèles de mobilité des n?uds d'un réseau sans fils ne se ramènent pas toujours en un modèle markovien. Nous montrons néanmoins l?intérêt de cette approche à travers l'étude d'une application de télésurveillance déployée en milieu hospitalier. Cette application a pour but de surveiller les paramètres vitaux des patients ainsi que la localisation du personnel médical, en s'appuyant sur un réseau de capteurs sans fils constitué de n?uds fixes ou mobiles et de stations de collecte fixes connectées à un serveur central via un réseau local Ethernet. Nous distinguons, dans cette étude, le modèle de mobilité des n?uds du modèle de communication au niveau de la sous-couche MAC, étant donné le rôle majeur de cette sous-couche pour les performances du réseau global. Nous mesurons alors la performabilité du réseau via l'évaluation formelle du taux de trames perdues sous différents scenarii de trafic (faible, moyen et fort) et discuterons la comparaison avec les résultats obtenus par simulation.
Fichier non déposé

Dates et versions

hal-01125859 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125859 , version 1

Citer

Robert Abo, Kamel Barkaoui. Vérification et Évaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier. ARC 2011, 4e colloque ? Automatique et R?seaux de Communication (ARC) ?, Apr 2011, Paris, France. pp.15-23. ⟨hal-01125859⟩
45 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More