– TransCap

Ces dernières années, l'interrogation de capteurs est devenue un sujet de recherche très populaire dans de nombreux domaines de l'informatique : réseaux, bases de données, systèmes embarqués, etc. Ceci est dû au fait que ces dispositifs petits et intelligents ont un rôle reconnu dans le paradigme de l'informatique ubiquitaire. - - Traditionnellement, la gestion et l'interrogation sont réalisées de manière ad hoc pour chaque application. Chaque application utilisant des capteurs emploie ses propres méthodes de définition de requêtes, de déploiement et d'administration. Avec la multitude et la diversité des applications utilisant des capteurs, l'intérêt d'interroger les capteurs de manière réutilisable est apparu. Les « bases de données de capteurs » (BDC) ont tenté de répondre à ce besoin en fournissant des langages de requêtes déclaratifs et des techniques d'évaluation génériques. C'est une évolution similaire à celle qui a motivée la naissance des SGBD, il y a une vingtaine d'années : la transition de format de données dépendant des applications à des formats indépendants de celle-ci. Cependant, malgré le fait que l'évaluation sûre des données est une fonctionnalité centrale des systèmes de gestion de données traditionnels, la problématique de la cohérence des données n'a jamais été explorée pour les BDC. La plupart des projets sur l'interrogation de capteurs supposent que les caractéristiques des parcs de capteurs sont stables et ne changent pas au cours de l'évaluation des requêtes continues. Ainsi, ils supposent en général que les changements d'états du parc de capteurs n'ont pas d'impact sur la sémantique des requêtes continues. - - Cependant, avec l'accroissement des capacités et la baisse des prix, de grands parcs de capteurs hétérogènes voient le jour. Nous pensons fermement que les prochaines générations de ces systèmes incluront en plus des fonctions d'interrogation, des fonctions d'administration qui devront avoir certaines propriétés transactionnelles. De fait dans un tel système, il est nécessaire de pouvoir exécuter, de manière concurrente, les requêtes continues et les opérations d'administration du parc de capteurs. Les opérations d'administration constituent de fait une modification de l'état du parc de capteur, ainsi des besoins sur le contrôle de la concurrence, d'atomicité apparaissent. - - Le but de ce projet est de réaliser des avancées majeures dans l'étude des verrous scientifique suivants : - * Identifier les caractéristiques exactes des opérations concurrentes qui sont nécessaires dans le contexte capteurs. - * Caractériser les propriétés transactionnelles requises pour l'administration de parcs de capteurs - * Proposer des modèles, des protocoles et des services permettant d'assurer le besoin de gestion transactionnelle. - - L'objectif final de ce projet étant de parvenir à la définition d'un véritable système de gestion de capteur qui garantirait, à un degré approprié, certaines propriétés transactionnelles. - ...