Contraintes temporelles dans les bases de données de capteurs sans fil

Dans ce travail, nous nous focalisons sur l'ajout de contraintes temporelles dans les Bases de Données de Capteurs Sans Fil (BDCSF). La cohérence temporelle d'une BDCSF doit être assurée en respectant les contraintes temporelles des transactions et la validité temporelle des données, pour que les données prélevées par les capteurs reflètent fidèlement l'état réel de l'environnement. Cependant, les retards de transmission et/ou de réception pendant la collecte des données peuvent conduire au non-respect de la validité temporelle des données. Les travaux réalisés dans cette thèse portent principalement sur trois contributions : (1) une étude comparative des propriétés temporelles entre la collecte périodique des données et une approche de traitement des requêtes, utilisant une BDCSF nommée "TinyDB", (2) un modèle de traitement des requêtes temps réel, utilisant deux nouvelles clauses SQL et un algorithme de contrôle de la validité temporelle des données, (3) une BDCSF temps réel qui implémente des contrôleurs d'échéances et des ordonnanceurs temps réel. La BDCSF temps réel a été testée avec des requêtes périodiques et non périodiques et elle a démontré de bonnes performances.