Encadrants: François Lesueur, Yann Gripay
Mots-clés : Environnements pervasifs, Passage à l'échelle, Algorithmes distribués
Ce projet s'inscrit dans le cadre des environnements pervasifs. Dans ce contexte, de nombreux éléments (capteurs, actionneurs, dénommés DataSources par la suite) sont déployés dans l'espace à analyser et à contrôler. Avec le développement de ce domaine, nous nous intéressons à des réseaux contenant des milliers d'éléments. Notre cas d'utilisation est un bâtiment intelligent dans lequel la régulation des éclairages, des températures et des autres équipements est réalisée en fonction de la présence humaine.
Le moteur de requêtes SoCQ, développé au LIRIS, permet de programmer ces réseaux au travers d'une abstraction de haut niveau. L'utilisation de l'environnement est réalisée au travers d'un langage de requête de type SQL et la complexité des interactions et de la découverte de services est gérée par l'environnement d'exécution.
Bien que SoCQ permette ainsi au programmeur de manipuler aisément un grand nombre de DataSources, l'environnement d'exécution est encore perfectible dans ce domaine. En effet, le déploiement des requêtes ainsi que l'algorithme de découverte n'utilisent pas des structures optimales de communication, ce qui aujourd'hui limite le passage à l'échelle de SoCQ.
Le projet vise donc à spécifier et à implémenter des algorithmes de communication passant à l'échelle (plusieurs milliers de DataSources) en utilisant des structures de communication déjà connues (basées sur des arbres) ; les modifications seront à apporter à la fois du côté des DataSources (qui deviendront acteurs de la diffusion d'information) et de l'environnement d'exécution (qui devra profiter de manière efficace des nouvelles capacités des DataSources). L'objectif est de permettre des requêtes dans de grands réseaux ; si le temps le permet, la découverte de services dans ces mêmes réseaux pourra également être étudiée.
