Aboulhamid, El Mostapha
Université de Montréal
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.
Projets de recherche en cours
- «Partitionnement logiciel/matériel avec SystemC»
Jérôme Chevalier (Ph.D.) - «Interopérabilité»
Mathieu Dubois (Ph.D.) - «Conception de systèmes matériel/logiciel utilisant .NET»
James Lapalme (Ph.D.) - «Fiabilité et sécurité des réseaux électriques»
Tahar Mhirsi (Ph.D.) - «Vérification formelle des requis»
Nicolas Gorse (Ph.D.) - «Routage dans les réseaux optiques»
Dieu Linh Truong Thi (Ph.D.) - «IP Watermarking»
Amr T. Abdel-Hamid (Ph.D.)
Collaboration au sein du ReSMiQ
Bois ,
Guy -
École Polytechnique de Montréal
Savaria ,
Yvon -
École Polytechnique de Montréal
Tahar ,
Sofiène -
Université Concordia
Ait Mohamed ,
Otmane -
Université Concordia
Boland ,
Jean-François -
École de technologie supérieure
Boukadoum ,
Mounir -
Université du Québec à Montréal
Boyer ,
François-Raymond -
École Polytechnique de Montréal
David ,
Jean-Pierre -
École Polytechnique de Montréal
Massicotte ,
Daniel -
Université du Québec à Trois-Rivières
Sawan ,
Mohamad -
École Polytechnique de Montréal
Thibeault ,
Claude -
École de technologie supérieure
Zilic ,
Zeljko -
Université McGill
Collaboration hors ReSMiQ
Paulin ,
P.
-STMicroelectronics
Song ,
X
-U. of Portland
Wang ,
Y.
- U. of Texas
Gorse ,
Nicolas
- Synopsys
Rousseau ,
Frédéric
- TIMA, Grenoble
Metzger ,
Michel
- STMicroelectronics
Bouchebaba ,
Youcef
- STMicroelectronics
Lavigueur ,
Bruno
- STMicroelectronics
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
Tel.:
(514) 343-6822
Fax:
(514) 343-5834
Courrier électronique:
aboulham@iro.umontreal.ca
