Avec l'émergence des nouvelles technologies, les communications sans fil n'ont cessé de croître afin de permettre aux utilisateurs un accès à l'information et aux services électroniques, et ceci indépendamment de leur position géographique. Les réseaux sans fil ont aussi trouvé leur place pour des applications spécifiques telles que les transmissions radio utilisées pour l'interconnexion de capteurs. Ce type de réseau peut être considéré comme un sous-ensemble des réseaux ad hoc. Des contraintes spécifiques s'appliquent alors aux utilisateurs de ces réseaux, telles que la difficulté d'accès pour la maintenance, les problèmes liés à la miniaturisation et au nombre élevé de capteurs. L'objectif de cette thèse est d'étudier les contraintes énergétiques liées à l'utilisation des batteries à capacité limitée pour l'alimentation des capteurs. Pour atteindre cet objectif, nous avons proposé de représenter les réseaux de capteurs à travers une image à échelle de gris : les zones claires correspondant aux zones riches en énergie, alors que les zones sombres représentent des régions avec une capacité énergétique faible. Des filtres issus du monde de traitement d'image sont alors appliqués à cette image représentant l'énergie. Ainsi, nous proposons des filtres de convolution de type Sobel ou de type filtre moyen pour nos algorithmes de routage et nous construisons une matrice énergétique pour chaque capteur. Cette matrice est alors utilisée avec le produit de convolution pour guider le routage. Les différents algorithmes proposés font ensuite l'objet de simulations avec le simulateur de réseaux OMNeT++.

Les progrès technologiques permettent aujourd'hui l'intégration à bas coût d'objets multi-capteurs hétérogènes communicants sans fil notamment pour la surveillance dans les environnements considérés à risques ou non accessibles. Le but de ces travaux de thèse est de contribuer à la sécurisation des personnes et de leur environnement de vie par la mise en réseau de dispositifs multi-capteurs de mesures sans fil. Ceux-ci doivent être spécifiés et configurés pour rendre par exemple l'environnement qu'ils surveillent intelligent et sécurisé. Le travail effectué porte sur la conception et le prototypage réel d'un réseau composé de dispositifs hétérogènes autonomes en énergie. Nos contributions comportent trois volets essentiels :Le premier volet concerne la conception d'un modèle de réseau ambiant adapté : nous avons proposé un modèle qui repose sur une architecture multi-niveaux caractérisée par des nœuds hétérogènes dont le captage (détection), le traitement et le stockage des données sont distribués par niveau. Cette architecture hiérarchique offre plusieurs avantages par rapport aux architectures linéaires classiques en termes d'évolutivité, de faible coût, de meilleure couverture, de hautes fonctionnalités et de fiabilité. Nous avons défini le comportement adapté pour chaque nœud dans le modèle et montré l'avantage de la solution par la simulation.Le deuxième volet concerne la proposition originale d'un protocole d'accès au médium efficace en énergie nommé " T-TMAC " et adapté à l'application, permettant d'organiser les échanges des messages dans l'architecture du réseau retenu. L'originalité du protocole est qu'il est composé de mécanismes de maintenance performants permettant la gestion de la mobilité et la reconfiguration du réseau (ajout et suppression d'un capteur). Pour cela, une adaptation et un paramétrage du standard IEEE 802.15.4 sont proposés.Le dernier volet présente l'évaluation et l'analyse de performances du protocole développé dans le cadre de scénarios de tests. Nous avons étudié en particulier l'impact de la taille des données et la périodicité de transfert sur l'énergie et le délai. Le protocole est validé à l'aide d'un modèle analytique dont les résultats ont été comparés à ceux obtenus par prototypage matériel.

La mobilité est le caractère ou la propriété d'un objet qui a une capacité ou une possibilité de se mouvoir ou d'être mû. Elle caractérise toutes choses qui changent rapidement de forme, d'aspect ou qui est instable, variable ou fluctuant dans le temps et l'espace. L'introduction de la mobilité dans les réseaux a marqué une étape dans la description et la mise en place de systèmes communicants devant tenir compte de la mobilité d'une ou plusieurs entités composant ce système. L'évolution des paradigmes de communication actuels montre qu'il est de plus en plus difficile de concevoir un système de communication intégrant l'utilisateur final sans parler de mobilité. A partir du moment où l'on considère que la mobilité existe dans les réseaux qu'elle soit physique comme par exemple avec déplacement physique d'une entité ou logique avec le déplacement d'une ressource ou d'un service, les communications dans ces réseaux doivent tenir compte de cette mobilité. Les protocoles de communications doivent donc prendre en compte l'instabilité, la variabilité et la fluctuation imposées par la mobilité de certaines entités composants le réseau. C'est ainsi que beaucoup de protocoles de communications, surtout les protocoles pour les réseaux ad hoc, ont été conçus et évalués pour et selon leur résistance à la mobilité comme préconisé par Corson et Macker dans la RFC 2501. Au début des années 2000, des travaux montrent que la mobilité n'a pas que des inconvénients en soulignant que la mobilité permet d'augmenter la capacité, la sécurité et les zones couvertes. Ces articles et bien d'autres soulèvent deux points importants: (i) L'apport de la mobilité décrite dans ces articles concernent des services ou des fonctionnalités de niveau application si l'on s'en réfère au modèle OSI et (ii) la mobilité considérée est une mobilité subie par des entités composant le réseau. Les deux points soulevés précédemment seront abordés suivant différents angles ici. Par rapport au premier point les résultats que je montre ici considèrent deux aspects. Le premier aspect se concentre sur les apports de la mobilité au niveau application et plus spécifiquement au niveau de la couverture dans les réseaux de capteurs. Le deuxième aspect considère l'utilisation de la mobilité comme une primitive de réseau et utilise celle-ci pour augmenter les performances de la pile protocolaire. Concernant ces deux points et contrairement à la majorité des travaux de la littérature, la mobilité considérée est une mobilité contrôlée. Cet aspect permet entre autre de contrôler ou d'anticiper l'instabilité, la variabilité et la fluctuation du réseau mais aussi de maîtriser la couverture et la topologie dans les réseaux de capteurs. L'utilisation de la mobilité contrôlée pour les applications de réseau de capteurs et pour augmenter la qualité de service de la pile protocolaire sont les deux contributions qui sont abordés ici. Dans ce cadre, des algorithmes exploitant la mobilité contrôlée sont conçues et des propriétés sur ses algorithmes sont prouvées. De plus, des évaluations sur des plate-formes de robots mobiles montrent la faisabilité des ces algorithmes dans un cadre réel.

Cette thèse s’intéresse au problème d’estimation et d’optimisation distribuée dans les réseaux asynchrones, c’est à dire en n’utilisant que des communication locales et asynchrones. A partir de multiples applications allant de l’apprentissage automatique aux réseaux de capteurs sans-fils, nous concevons et analysons théoriquement de nouveaux algorithmes résolvant trois problèmes de nature très différentes : la propagation de la plus grande des valeurs initiales, l’estimation de leur moyenne et enfin l’optimisation distribuée. / This thesis addresses the distributed estimation and optimization of a global value of interest over a network using only local and asynchronous (sometimes wireless) communications. Motivated by many different applications ranging from cloud computing to wireless sensor networks via machine learning, we design new algorithms and theoretically study three problems of very different nature : the propagation of the maximal initial value, the estimation of their average and finally distributed optimization.

Afin d'accélérer ce processus de conception des systèmes embarqués, un environnement de simulation rapide et performant peut s’avérer indispensable. Pour la rendre performante, les modèles comportementaux des composants élémentaires du système doivent être capables de remplacer les éléments réels dans leurs influences et réponses à tous les phénomènes influents: perturbations, affaiblissements, retards...Nos travaux de thèse visent à contribuer à cette approche méthodologique : ils traitent le développement d’un émulateur des RCSFs. Pour ce faire deux types de simulateurs ont été étudiés:• le premier est un simulateur « software » basé sur la création de modèles comportementaux, décrits en langage VHDL-AMS.• le deuxième est un simulateur hardware basé sur la création des modèles logiques comportementaux, décrits en langage VHDL synthétisable. La simulation s’effectuera sur un composant FPGA cible. Des modifications peuvent être faites sur l’architecture de manière dynamique / To accelerate the design process of embedded systems, a fast and efficient simulation environment is needed. To make it efficient, the behavioral models of the elementary components of the system must be able to replace the real elements in their influences and responses to all the influential phenomena: disruptions, attenuation, delays...Our thesis work aims to contribute to this methodological approach: we treat the development of an emulator for WSNs. To do, two types of simulators have been studied:• The first is a software simulator based on the creation of behavioral models, described in VHDL-AMS.• The second is a hardware simulator based on the creation of behavioral logic models, described in synthesizable VHDL. The simulation will be done on an FPGA target. Changes may be made on the architecture dynamically

L'utilisation des réseaux de capteurs sans fil (RCSF) croît dans plusieurs domaines, dont celui des espaces intelligents. Dans un espace intelligent, les RCSF sont utilisés puisque les noeuds qui les composent se dissimulent dans l'environnement et consomment très peu d'énergie. Pour l'installation, la maintenance et la gestion des contextes, il est nécessaire de pouvoir reprogrammer un, noeud sans avoir à le redémarrer. Ce projet de recherche vise l'amélioration de la reprogrammation des RCSF en utilisant l'ingénierie logicielle basée sur les composants (ILBC). En utilisant un cadriciel hybride de composants et un format exécutable allégé, les composants dynamiques deviennent utilisables à moindres coûts. Les résultats obtenus lors de ces travaux ont été publiés dans un article de journal. Les travaux de ce projet se divisent en deux volets. Le premier volet est l'optimisation des cadriciels dynamiques de composants. Le problème est que ces derniers demandent trop de ressources et ne sont pas envisageables pour les RCSF. Afin de diminuer la surcharge en taille de l'utilisation de composants dynamiques, un concept de cadriciel hybride de composants' est proposé. Pour valider ce concept, le cadriciel NodeCom est créé et requiert aussi peu de mémoire que Contiki. NodeCom possède un noyau minimal qui est statique alors que les autres composants peuvent être statiques ou dynamiques. Le deuxième volet est l'optimisation de la reprogrammation adaptée aux RCSF avec l'ILBC. C'est en compressant. le format de fichiers exécutable qui contint les composants que la reprogrammation est optimisée. Le chargement dynamique utilisé est accéléré et la consommation énergétique du transfert de composants est diminuée. C'est le format ELF qui est modifié pour partager les composants dynamiques. Pour réduire sa taille, plusieurs sections et symboles peuvent être supprimés en raison des contraintes imposées par l'utilisation de l'ILBC. Puisque les RCSF utilisent majoritairement des microcontrôleurs 8 bits ou 16 bits, les métadonnées 32 bits du format ELF sont converties. La résultante de ces modifications est le format de composants ComELF qui permet d'obtenir des compressions de près de 50 %. À ce format, une description des composants est finalement ajoutée pour permettre une gestion automatique du chargement dynamique.

Dans cette thèse, il s'agit de proposer un protocole MAC qui prend en compte certaines spécificités des réseaux de capteurs sans fil linéaires. Ce protocole MAC est basé sur des jetons circulants qui donnent aux noeuds le droit d’accès au canal de transmission. Nous évaluons à partir de ce protocole l’impact des interférences et de la connectivité sur un réseau linéaire. Cette évaluation nous permet de proposer des techniques de clustering dans un réseau de capteurs sans fil linéaire. Nous supposons d’abord un clustering basé sur une exploitation logique du voisinage des noeuds capteurs. Nous considérons dans ce cas, un modèle de propagation déterministe qui ne tient pas en compte la complexité du milieu. Ensuite, nous considérons une technique de clustering dans laquelle le modèle de propagation prend en compte les fluctuations qui rendent le milieu complexe. / In this thesis, we propose a MAC protocol that takes into account the specific characteristics of LSNs. This MAC protocol is based on tokens circulating that give the right to nodes to access to the transmission channel. We evaluate from this protocol the impact of interference and connectivity in the LSN. This evaluation allows us to propose clustering techniques in a LSN. We assume first a clustering based on a logical exploitation of the vicinity of the sensor nodes. In this case, we assume that a deterministic propagation model that does not take into account the complexity of the environment. Next, we consider a clustering technique wherein the propagation model takes into account the fluctuations that make complex the medium.

Avec l'émergence des nouvelles technologies, les communications sans fil n'ont cessé de croître afin de permettre aux utilisateurs un accès à l'information et aux services électroniques, et ceci indépendamment de leur position géographique. Les réseaux sans fil ont aussi trouvé leur place pour des applications spécifiques telles que les transmissions radio utilisées pour l'interconnexion de capteurs. Ce type de réseau peut être considéré comme un sous-ensemble des réseaux ad hoc. Des contraintes spécifiques s'appliquent alors aux utilisateurs de ces réseaux, telles que la difficulté d'accès pour la maintenance, les problèmes liés à la miniaturisation et au nombre élevé de capteurs. L'objectif de cette thèse est d'étudier les contraintes énergétiques liées à l'utilisation des batteries à capacité limitée pour l'alimentation des capteurs. Pour atteindre cet objectif, nous avons proposé de représenter les réseaux de capteurs à travers une image à échelle de gris : les zones claires correspondant aux zones riches en énergie, alors que les zones sombres représentent des régions avec une capacité énergétique faible. Des filtres issus du monde de traitement d'image sont alors appliqués à cette image représentant l'énergie. Ainsi, nous proposons des filtres de convolution de type Sobel ou de type filtre moyen pour nos algorithmes de routage et nous construisons une matrice énergétique pour chaque capteur. Cette matrice est alors utilisée avec le produit de convolution pour guider le routage. Les différents algorithmes proposés font ensuite l'objet de simulations avec le simulateur de réseaux OMNeT++. / With the emergence of new technologies, wireless communications have been developed in order to allow users an access to information and to electronic services, independently of their geographical position. Wireless networks have also been developed for specific applications such as radio transmissions used for interconnection of sensors. This type of network can be considered as a subset of ad hoc networks. On other side, this implies specific constraints on users, such as the problem of the access for maintenance, the problems of miniaturization, and the large number of sensors. The objective of this thesis is to focus on energy constraints related to the use of batteries with limited capacity for the supply of sensors. In our work, we propose routing algorithms to route information while controlling energy consumption. To achieve this goal, we have represented the sensor network as a grayscale image: light areas represent regions rich in energy, whereas dark areas represent regions with low energy capacity. Filters used in image processing are then applied to the image representing the energy. Thus, we propose convolution filters like Sobel or mean filter in our routing algorithms and we construct an energy matrix for each sensor. This matrix will be used with the convolution to find the best path. The proposed algorithms are verified by simulations performed with the network simulator OMNeT++.

Cette thèse explore la thématique des microsystèmes autonomes, notamment la problématique de leur alimentation en énergie. Jusqu'à présent, l'énergie nécessaire pour faire fonctionner ces dispositifs était fournie par une source finie, par exemple une batterie électrochimique. Cela implique, qu'après un certain temps, le réservoir doit être rempli, sinon le dispositif cesse de fonctionner. De plus, un compromis doit être fait entre la taille et la durée de vie du système. L'objectif de ce travail est d'étudier la possibilité d'alimenter de tels systèmes à partir de l'énergie des vibrations mécaniques ambiantes. Nous nous sommes focalisés sur la miniaturisation du dispositif de récupération d'énergie, et sur la possibilité de son élaboration en employant les techniques de micro fabrication et les couches minces piézoélectriques. L'utilisation d'un dispositif de type MEMS permettrait de créer des systèmes autonomes sur une seule puce (SoC) où dans un boîtier (SoP). Au cours de cette thèse nous avons créé des modèles analytiques et par éléments finis des structures de générateurs piézoélectriques. Nous avons conçu et fabriqué les dispositifs en utilisant deux matériaux piézoélectriques : le nitrure d'aluminium (AlN) et le zirconate titanate de plomb (PZT). Nous avons démontré que de telles structures peuvent fournir une puissance de l'ordre de quelques microwatts. De plus, avec des circuits spécifiques de gestion de puissance elles permettent de charger des dispositifs de stockage à partir des vibrations d'une très faible amplitude. Les dispositifs présentés sont pour le moment les seuls microgénérateurs piézoélectriques au monde adaptés aux vibrations ambiantes. Cette thèse s'inscrit dans le cadre du projet VIBES (VIBration Energy Scavenging) qui est un STREP du sixième programme cadre de l'Union Européenne (IST-1-STREP-507911).

Les insectes ravageurs constituent depuis longtemps une menace sérieuse pour l’agriculture dans plusieurs régions du monde. En particulier, les criquets pèlerins (Schistocerca Gregaria) sont les plus redoutés à cause des dégâts colossaux qu’ils peuvent infliger à une large variété de cultures. Ces derniers, dans leur milieu de reproduction et un ensemble de paramètres climatiques, peuvent être assimilés à un système biophysique. Un système biophysique associe plusieurs composants caractérisés par leur complexité propre et celle de leurs interactions. Par exemple la pluie apporte de l’humidité et le développement du couvert végétal qui sont critiques dans la dynamique de population du criquet pèlerin. Ces systèmes biophysiques peuvent être contrôlés par divers moyens, dont un réseau de surveillance couplant des capteurs sans fil. L’intégration des systèmes biophysiques et des réseaux d’observation peut être un des faits majeurs de cette décennie. Elle permet un échange entre les processus cycliques physiques et les systèmes d’information. Ces derniers permettent de collecter et de traiter les données de terrain et peuvent aussi agir sur le système physique par le biais de boucles rétro-actives. Cette intégration a été possible grâce aux avancées technologiques notées dans les domaines de la micro électronique et de la transmission sans fil. On la trouve dans des domaines émergents tels que l’agriculture fine. Cette thèse est consacrée à la modélisation cellulaire et à la simulation de systèmes physiques. Pour cela, un échantillonnage spatial et temporel d’une zone de reproduction des criquets pèlerins a été réalisé à l’aide d’outils spécifiques avec différentes résolutions, dans le but de générer les systèmes cellulaires. Ces systèmes cellulaires contiennent des informations telles que le vent, la température, l’humidité relative et la pluviométrie. L’échantillonnage spatial permet une représentation de migration et l’échantillonnage temporel permet de suivre l’évolution locale des individus dans une cellule.Les systèmes cellulaires sont transcrits en réseaux de processus communicant et évoluent de manière synchrone afin de reproduire et de simuler le phénomène de migration intercellulaire et le cycle de vie du criquet pèlerin dans une cellule. La construction de ces systèmes a été explorée en profondeur, en faisant varier leur contexte géographique, les critères de classification, la dimension des cellules, la connectivité entre les processus, les comportements collectifs. L’exploration a porté sur la génération de codes parallèles et les performances à l’exécution, essentiellement pour le cas des processus légers.Ce travail a abouti à la production de deux simulateurs paramétriques, le premier est destiné à la dynamique de population des criquets pèlerins en vue d’évaluer l’état de la situation acridienne par un couplage entre les réseaux de surveillance synchrones et les systèmes biophysiques. Le second permet de planifier le déploiement de réseaux de capteurs sans fil dans une zone afin de déterminer l’emplacement des capteurs. / Insect pests have long been a serious threat to agriculture in many parts of the world. In particular, desert locusts (Schistocerca Gregaria) are the most feared because of the colossal damage they can inflict on a wide variety of crops.The latter, in their breeding environment and a set of climatic parameters, can be assimilated to a biophysical system. A biophysical system associates several components characterized by their own complexity and that of their interactions. For example, rain brings moisture and canopy development that is critical in Desert Locust population dynamics. These biophysical systems can be controlled by various means, including a monitoring network coupling wireless sensors. The integration of biophysical systems and observation networks can be one of the major events of this decade. It allows an exchange between physical cyclical processes and information systems. These can collect and process field data and can also act on the physical system through feedback loops. This integration has been made possible thanks to technological advances noted in the fields of microelectronics and wireless transmission. It is found in emerging fields such as fine agriculture. This thesis is devoted to cellular modeling and simulation of physical systems. For this, a spatial and temporal sampling of a Desert Locust breeding area was carried out using specific tools with different resolutions, in order to generate the cellular systems. These cellular systems contain information such as wind, temperature, relative humidity and rainfall. Spatial sampling allows a migration representation and temporal sampling can track the local evolution of individuals in a cell.Cellular systems are transcribed into communicating process networks and evolve synchronously to reproduce and simulate the phenomenon of intercellular migration and the life cycle of the Desert Locust in a cell. The construction of these systems has been explored in depth, making vary their geographical context, the criteria for classification, the cells, connectivity between processes, collective behaviors.Exploration has focused on the generation of parallel codes and performance at the execution, mainly for the case of lite processes.This work has led to the production of two parametric simulators, the first of which is aimed at Desert Locust population dynamics with a view to assessing the state of the locust situation through coupling between synchronous monitoring networks and biophysical systems. The second allows you to plan the deployment of wireless sensor networks in an area to determine the location of the sensors.