Les groupes de recherche du LASSO s'intéressent à la méthodologie de conception des systèmes matériels dans le dessein se rapprocher du zéro-défaut. Les activités du laboratoire couvrent la spécification,
vérification et synthèse des systèmes microélectroniques. En particulier, nous développons:
-
Un langage de spécification hiérarchique pour la saisie des aspects temporels et fonctionnels des systèmes, ainsi qu'une boite a outils pour l'analyse et la synthèse de telles spécifications.
-
Des méthodes devérification des systèmes décrits au niveau transfert
de registres par le biais de machines abstraites a états. La vérification est basée sur une classe de graphes de décision appelés MDG.
-
Des outils d'analyse basés sur la résolution d'un système de contraintes par contraction
de l'espace de solution, et l'utilisation d'une arithmétique a intervalles telle réalisée dans le langage Prolog de Nortel.
Pour plus de détails sur nos activités de recherche, voir les descriptions des projets.
Le personnel enseignant du laboratoire propose des cours gradués et sous gradués liés à ses activités de recherche: