Tolérance aux pannes d’une station de base (SINK) dans un réseau de capteurs sans fil

Abstract

Un réseau de capteurs sans fil (RCSF) est un ensemble de nœuds de petites tailles, combinant à la fois des capteurs, une unité de traitement et un dispositif de communication sans fil, ayant pour mission la collecte et l’acheminement de données environnementales vers un utilisateur final, en passant par un nœud spécial appelé station de base ou SINK. La tolérance aux pannes dans de tels réseaux représente un facteur de conception capital du fait de la prédisposition des nœuds aux pannes, due entre autres, à la nature hostile des environnements de déploiement. D’un autre coté, l’aspect centralisé de l’évacuation des données vers des réseaux extérieurs en passant par le nœud collecteur (SINK) d’un RCSF represente une véritable vulnérabilité, aussi, la tolérance aux pannes du SINK est primordiale et permet d’éviter un échec de la mission du RCSF, non toléré dans certaines applications,. Dans ce travail, nous proposons une stratégie permettant à un réseau de capteurs sans fil de recouvrir d’une panne de son SINK primaire, se basant sur le paradigme de communication Directed Diffusion et sur l’utilisation d’un second SINK de surveillance. Nous proposons un modèle UPPAAL pour ensuite en vérifier des propriétés importantes, validant le bon fonctionnement de la stratégie proposée.