Architecture-Géométrie, Perception, Images, Gestes
Responsable(s) d'équipe : Isabelle SIVIGNON, Michèle ROMBAUT
Directeur de thèse : Dominique HOUZET Stéphane MANCINI
École doctorale : Electronique, electrotechnique, automatique, traitement du signal (EEATS)
Spécialité : Micro-nano électronique
Structure de rattachement : Grenoble-INP
Établissement d'origine : INPG - ENSERG
Financement(s) : allocation MENRT
Date d'entrée en thèse : 01/10/2007
Date de soutenance : 15/06/2011
Composition du jury :
Pr. Jocelyn Serot (Université Blaise Pascal), rapporteur
Pr. Marc Pouzet (Université Pierre et Marie Curie), rapporteur
M. Laurent Hili (ESTEC), examinateur
Pr. Dominique Houzet (Grenoble INP), directeur de thèse
Dr. Stéphane Mancini (Grenoble INP), co-directeur de thèse
Résumé : Ce manuscrit présente une méthode de conception au niveau système reposant sur la programmation fonctionnelle typée et visant à atténuer certains des problèmes complexifiant le développement des systèmes numériques modernes, tels que leurs tailles importantes ou la grande variété des blocs les constituant. Nous proposons un ensemble de mécanismes permettant de mélanger au sein dun même design plusieurs formalismes de description distincts («modèles de calcul») se situant potentiellement à des niveaux dabstraction différents. De plus, nous offrons au concepteur la possibilité dexpliciter directement les paramètres explorables de chaque sous-partie du design, puis den déterminer des valeurs acceptables via une étape dexploration partiellement ou totalement automatisée réalisée à léchelle du système. Les gains quapportent ces stratégies nouvelles sont illustrés sur plusieurs exemples.