INSTITUT  POLYTECHNIQUE  DE  GRENOBLE
GRENOBLE INP
Année Universitaire 2007/2008
AVIS DE SOUTENANCE DE THESE

 [ Pour confirmation des horaire et lieu de Soutenance de la Thèse par le Doctorant
et diffusion via Internet par le Bureau de Gestion des Thèses du Service Central de Scolarité à une liste pré-établie de destinataires ]

Toutes les rubriques mentionnées doivent être obligatoirement renseignées et leur mise en forme respectée, par le Doctorant.

M Ludovic Samper soutiendra le 7 avril 2008 à 15h à l’amphithéatre MJK - Maison Jean Kuntzmann 110, avenue de la chimie, Domaine universitaire, 38400 Saint-Martin-d'Heres - une thèse de DOCTORAT de l'INSTITUT POLYTECHNIQUE de GRENOBLE, spécialité Informatique intitulée : Modélisations et analyses de réseaux de capteurs. 

Thèse préparée dans le laboratoire VERIMAG, sous la direction conjointe de Mme Florence Maraninchi et M Laurent Mounier.

RESUME DE THESE (en 10 lignes maximum)
Les réseaux de capteurs sont difficiles à concevoir parce qu'ils sont fortement contraints en énergie et que tous les éléments influencent potentiellement la durée de vie du système. Pour tester les solutions avant le déploiement, nous proposons de construire des modèles analysables. Nous avons conçu Glonemo, un modèle global et précis du système. Programmé en ReactiveML, cet outil exécutable permet de simuler des réseaux de grande taille tout en estimant finement la consommation des nœuds. L'environnement y est modélisé de façon réaliste. Glonemo bénéficie d'une sémantique formelle, mais la taille des modèles exclue la possibilité d'effectuer des analyses exhaustives. Nous simplifions donc le modèle et, grâce à IF, calculons la durée de vie pire-cas du réseau. Enfin, nous définissons une relation d'abstraction modulaire de modèles de consommation. Les abstractions ainsi définies sont conservatives : les propriétés prouvées sur le modèle abstrait sont vraies sur le modèle détaillé.

MEMBRES DU JURY
Marc Pouzet
Isabelle Guérin-Laussous
Robert de Simone
Dominique Barthel
Florence Maraninchi
Laurent Mounier

	Fait à Grenoble, le  19 Mars 2008

Institut Polytechnique de Grenoble - 46, avenue Félix Viallet - 38031 GRENOBLE CEDEX 1