207 articles  [english version]
Fiche détaillée Thèses
Université de Grenoble (15/06/2011), Dominique Houzet;Stephane Mancini (Dir.)
Liste des fichiers attachés à ce document : 
PDF
these-toczek.pdf(1.2 MB)
Une approche fonctionnelle pour la conception et l'exploration architecturale de systèmes numériques
Tomasz Toczek1

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 d'un même design plusieurs formalismes de description distincts ("modèles de calcul") se situant potentiellement à des niveaux d'abstraction différents. De plus, nous offrons au concepteur la possibilité d'expliciter directement les paramètres explorables de chaque sous-partie du design, puis d'en déterminer des valeurs acceptables via une étape d'exploration partiellement ou totalement automatisée réalisée à l'échelle du système. Les gains qu'apportent ces stratégies nouvelles sont illustrés sur plusieurs exemples.
1 :  GIPSA-lab - Grenoble Images Parole Signal Automatique
GRENOBLE-IMAGES-PAROLE-SIGNAL-AUTOMATIQUE
Conception au niveau système – Exploration architecturale – Modèles de calcul – Programmation fonctionnelle – Monades – Haskell

A Functional Approach to Digital System Modeling and Design Space Exploration
This work presents a novel system-level design method based on typed functional programming and aiming at mitigating some of the issues making the development of modern digital systems complex, such as their increasing sizes and the variety of their subcomponents. We propose a range of mechanisms allowing to mix within a single design several description formalisms (''models of computation''), possibly at different abstraction levels. Moreover, the designer is provided with means to directly express the explorable parameters of each part of their design, and to find acceptable values for them through a partially or totally automatic system-wide architectural exploration step. The advantages brought by those new strategies are illustrated on several examples.
System-Level Design – Design Space Exploration – Models of Computation – Functional Programming – Monads – Haskell