Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Communication
Cette communication présente une nouvelle méthodologie de conception des systèmes embarqués. La méthodologie est basée sur Syslib, une librairie de niveau système totalement en C++ orientée objet, et sur Picasso, un outil d’entrée de spécifications avec interface graphique. Les méthodes actuelles de conception sont mitigées puisqu’elles font interagir plusieurs langages de programmation à différents niveaux, nécessitant plusieurs validations et favorisant l’introduction fortuite d’erreurs. Avec notre méthodologie (Syslib-Picasso), il est d’abord possible de programmer la spécification d’un système à un niveau fonctionnel pour valider les algorithmes qui composent l’application. Puis, le concepteur passe à un niveau comportemental où il enrichit la …
Communication
La problématique de l'estimation de la taille mémoire d'un système intégré a été très peu exploré par les travaux de recherche. Pourtant, l'espace mémoire est un critère important à considérer dans les systèmes dédiés, puisqu'il contribue significativement à l'espace total du chip, qui lui-même détermine directement le coût du système. À notre avis, le nombre restreint de méthodes de résolution de ce problème revient sans doute au fait que la taille mémoire est un concept qui ne peut être représenté explicitement, contrairement aux fonctions de coût comme le temps d'exécution qui lui, a une forme assez simple et directe. L'approche …
Colloque
Notre projet est lié directement à la technologie de la logique programmable, utilisée à l'heure actuelle pour créer des structures de contrôles et des chemins de données reconfigurables. L'intérêt et le défi technologique résident dans l'intégration de plusieurs aspects avancés de la compilation et de la synthèse d'une application dédiée, allant de l'analyse à la génération du code pour des FPGA, en passant par l'analyse statique, les transformations, génération de code, mapping physique, etc. Parmi les transformations auxquelles nous nous intéressons dans ce projet sont celles qui optimisent la localité (cache and memory locality). En effet, plusieurs compilateurs aujourd'hui sont …
