Aboulhamid, El Mostapha
Université de Montréal
Membre associé
Description du programme de recherche
La révolution dans le domaine de la technologie de l'information et microélectronique en général est alimentée par l'avance extraordinaire dans la technologie des semi-conducteurs. Ceci pousse à l'adoption d'une méthodologie de systèmes sur une puce (SOC:system-on-a-chip). Les SOC sont des designs complexes sur une seule puce, combinant des microcontrôleurs, des noyaux de processeurs de traitement de signal (DSP), des blocs de mémoires, de la logique pour des fonctions spécifiques et des fonctions de signal mixte. Dans ce domaine, la complexité et la pression du marché incitent à la réutilisation des blocs IP (Intellectual Properity blocks) et l'utilisation des plates-formes programmables. Les blocs IP sont des composantes préconçues à différentes périodes et possiblement par différentes organisations. Ceci entraîne de nouveaux défis : les langages de spécification et de description doivent pouvoir supporter des composantes matérielles et des modules logiciels ; ils doivent pouvoir tenir compte des contraintes et modéliser la communication entre modules et composantes. Les outils CAO doivent permettre l'intégration des blocs IP, le partitionnement matériel/logiciel et l'affectation des communications à des composantes afin de respecter les contraintes de coût et de performance. Nous nous intéressons sur le développement de méthodes efficaces de partitionnement matériel/logiciel, à la synthèse des canaux de communication et aux méthodes de vérification combinant les approches formelles et la simulation. Pour faciliter l'intégration des différents modules et rendre la vérification moins ardue, nous adhérons aux standards existants ou en développement tels que le bus OCB de VSIA ou le bus AMABA de ARM. Différentes approches de spécification à différents niveaux d'abstraction sont proposées dans la littérature : SystemC, initiative d'Accellera et autres. Nous proposons d'étudier leur aptitude à traiter des designs SOC. Nous proposons aussi d'autres méthodologies : les "design patterns" définis en génie logiciel ainsi que l'utilisation de UML. Nous concentrons nos efforts sur un environnement de modélisation appelé eSyS.NET qui exploite la puissance de .NET pour des modélisations et simulations de systèmes matériel/logiciel. Tout cela en collaboration avec des chercheurs de l'industrie et d'autres universités.
Axes et thèmes
- Axe 1: Modélisation, simulation et méthodes de conception des microsystèmes.
- Thème 1.1: Algorithms, architectures and design methodologies.
- Thème 1.2: Modeling and computer-aided design.
Coordonnées:
Université de Montréal
Département d'informatique et de R.O.
C.P. 6128, Succ. Centre-ville, Pav. André-Aisenstadt, bureau 3243
Montréal (Québec) H3C 3J7
Canada
Téléphone: (514) 343-6822
Télécopieur: (514) 343-5834
Adresse de courrier électronique: aboulham@iro.umontreal.ca