Download or read book Ordonnancement des réseaux de capteurs sans fil embarqués written by Anis Mezni and published by . This book was released on 2019 with total page 145 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les réseaux de capteurs sans fil ont attiré beaucoup d'activités de recherche et développement au cours de la dernière décennie. Pourtant, leur utilisation est restreinte, à ce jour, à la surveillance et l'acheminement des informations détectées. Cette thèse vise à introduire un nouvel aspect intéressant de point de vue fonctionnel. Partant d'une exigence spécifiée initialement, mettre en oeuvre une synergie à plusieurs niveaux entre un ensemble des noeuds, tout en se basant sur une interaction adéquate. Ceci est réalisé par la génération automatique de code (correct par construction) et sa distribution par la suite en s'appuyant sur la théorie de contrôle par supervision. La synthèse de contrôleurs discrets SCD est une application de ce cadre théorique. Dans ce manuscrit, nous montrons comment la technique de la SCD peut être utilisée dans le domaine de réseaux de capteurs sans fil. Ainsi son potentiel se décline à deux niveaux. L'ordonnancement intra-cluster (groupe redondant de capteurs) avec des spécifications exprimant l'exclusion mutuelle lors de l'activation d'un capteur au sein d'un cluster, essentielle pour économiser l'énergie du réseau ainsi que la génération automatique d'un algorithme de routage optimal et multicritères pour les réseaux de capteurs. Spécifiquement, un chemin optimal devrait avoir à la fois une longueur minimale en termes de distance tout en évitant des chemins composés de noeuds dits « maillons faibles » (ayant un niveau d'énergie plus bas que la majorité). Les outils formels cités s'appuient sur une démarche de modélisation basée sur des machines à états finis communicantes. Les verrous scientifiques sont liés à la nature d'un réseau de capteurs ainsi qu'à sa taille. La SCD génère des contrôleurs monobloc, alors qu'au sein d'un réseau de capteurs le traitement est essentiellement distribué. La problématique est celle de la distribution d'un contrôleur global, qui se présente sous forme d'une contrainte logique exprimée sur l'état global du réseau, sur chacun des noeuds du réseau, en ajoutant la synchronisation nécessaire pour garantir un fonctionnement distribué équivalent au contrôleur initialement généré.