Média
Partenaires
Recherche
Chercheurs

Bois, Guy
Polytechnique Montréal
Membre associé

Description du programme de recherche

Synthèse niveau système :
Nous travaillons au développement de méthodes modernes de conception et de vérification conjointe logiciel/matériel. Plus particulièrement, ses travaux visent à solutionner quatre problèmes importants:

1) Exploration architecturale incluant le partitionnement logiciel/matériel
2) Le raffinement de la spécification incluant la cosynthèse conjointe logicielle/matérielle.
3) Également, nous mettons l’emphase sur la réutilisation des composants logiciel et matériels (IP reusing) afin de réduire le temps alloué au développement.
4) La vérification fonctionnelle des systèmes embarqués

Collaboration au sein du ReSMiQ

Aboulhamid, El Mostapha - Université de Montréal
Langlois, Pierre - Polytechnique Montréal
Savaria, Yvon - Polytechnique Montréal
Tahar, Sofiène - Université Concordia

Coordonnées:

Polytechnique Montréal
Département de génie informatique
C.P. 6079, Succ. Centre-ville, bureau M-4115
Montréal ( Québec) H3C 3A7
Canada
Téléphone: (514) 340-4711 poste 5944
Télécopieur: (514) 340-5139
Adresse de courrier électronique: bois@vlsi.polymtl.ca