|
 
|
[ABb11] Vérification et Évaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier
Conférence Nationale avec comité de lecture : ARC 2011, 4e colloque « Automatique et Réseaux de Communication (ARC) », April 2011, pp.15-23, Paris, France,
motcle:
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.
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.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| ABb11, | |||
| title | = | "{Vérification et Évaluation de la Performabilité dans les Réseaux de Capteurs Sans-fils Mobiles - Application au Milieu Hospitalier}", | |
| author | = | " R. Abo and K. Barkaoui ", | |
| booktitle | = | "{ARC 2011, 4e colloque « Automatique et Réseaux de Communication (ARC) »}", | |
| year | = | 2011, | |
| month | = | "April", | |
| pages | = | "15-23", | |
| address | = | "Paris, France", | |
| } | |||
