Mémoires de Fin d’Etudes
Etablissement
Université de Béjaia - Abderrahmane Mira
Affiliation
Département d’Informatique
Auteur
SAADI, Nora
Directeur de thèse
KERKAR Moussa (Professeur)
Co-directeur
POTTIER Bernard (Professeur)
Filière
Informatique
Diplôme
Doctorat
Titre
Modèles d’exécutions et outils pour les capteurs sans fil
Mots clés
Réseau, capteur sans fil, code (Occam, Cuda), simulation.
Résumé
Le sujet de thèse propose d’investiguer des techniques de génération de code prenant en charge le modèle d’exécution distribué pour produire le code du capteur et valider ce code lors de l’exécution. Ce modèle est utilisé pour simuler et vérifier le comportement collectif des capteurs, à un niveau proche de celui de l’application, et en y intégrant des mobiles .Le comportement local est actuellement programmé à la main dans des syntaxes concurrentes telles qu’Occam ou CUDA. L’idée est de produire ce code à partir d’un langage intermédiaire qui peut être proche d’Occam, qui permet de spécifier la concurrence interne au capteur, et reproduire des techniques d’assemblage d’activités ou ressources matérielles en utilisant des modèles objets. La création d’une machine virtuelle modulaire et portable est une possibilité qui peut être envisagée. Le code étant générer, il est possible d’y placer des systèmes de collectes et acheminement de traces, et de lier tout (snapshots sur réseau) ou partie (un nœud observé via une sonde) de l’exécution sous le contrôle du simulateur.
Statut
Vérifié