Les réseaux de capteurs

Les réseaux de capteurs sont des réseaux formés d'un grand nombre de noeuds capteurs qui se collaborent entre eux pour fournir un service bien déterminé. Cependant la faible capacité énergétique habituellement assignée à chaque noeud, et l'impossibilité d'une intervention humaine, a poussé les utilisateurs à s'intéresser à une propriété cruciale qui est la durée de vie minimale. Cette durée dépend fortement de la conception et de la modélisation de chaque élément du réseau ainsi que du comportement de son environnement. Dans ce rapport nous présentons une approche originale pour évaluer cette durée de vie minimale. D'abord nous allons présenter un modèle formel du comportement de tout le réseau, à l'aide des automates temporisés. Ensuite nous déterminons dans l'espace d'état, relatif à notre modèle, la plus courte séquence d'exécution menant vers un état « terminale » selon un critère bien déterminé. Cette approche sera illustrée sur une application de réseau de capteurs afin de comparer l'impact de deux protocoles de routages réels sur la durée de vie de ce dernier.