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 …
Colloque
Le système HW/SW est un assemblage d'entités logicielles et matérielles. Ces dernières peuvent être récemment ou précédemment conçues (à conception courante ou préconçues). Dans ce dernier cas, il s'agit d'une réutilisation de produits à propriétés intellectuelles (PI) ; ces éléments IP sont fournis aux clients sous forme de boites noires pour la raison que les constructeurs préservent leurs droits sur ces produits. En d'autres mots, seulement le comportement externe de ces éléments est disponible à l'acheteur quant aux détails de leurs structures internes, ils restent une propriété privée de leurs constructeurs. Ces systèmes connaissent une grande difficulté au niveau de …
Colloque
La covérification des systèmes intégrés, étant une nouvelle perception de vérification très prometteuse, revêt un intérêt économique potentiel à l'heure actuelle. Elle consiste à vérifier simultanément les deux parties composantes, logicielle et matérielle, d'un système au fur et à mesure que son design se réalise. Cet article expose les concepts de la covérification et pose formellement son problème. Aussi, présente-il ses différentes techniques et les modèles de représentation des graphes d'états d'un système à covérifier. Puis, il analyse et évalue les différentes méthodes d'accélération de l'accessibilité, et avant de clore, il décrit brièvement quelques environnements récents de codesign et de …
Colloque
Les techniques et les outils d'estimation de performance aident les concepteurs d'ordinateurs à choisir l'architecture la plus convenable, et les programmeurs à optimiser l'implémentation des applications. Dans ce papier, nous présentons un outil d'estimation de performance, basé sur une approche statique, appelé C_PerfEstim. À partir d'une spécification écrite en langage C selon la norme ANSI et d'une description de l'architecture d'un processeur parallèle de type "Very Long Instruction Word" (VLIW), C_PerfEstim produit des éléments d'ordonnancement, des éléments d'allocation, et des bornes inférieure et supérieure sur le temps d'exécution de cette spécification. Nous évaluons notre outil par plusieurs "Benchmark" connus dans …
