Ph.D.
en génie électrique, Université McGill, 1975
Mon travail se situe dans
le domaine de la spécification, vérification et synthèse
des systèmes et circuits micro-électroniques. Je m'intéresse,
en particulier, aux systèmes dont les propriétés en
temps réel jouent un rôle important pour déterminer
la sécurité du fonctionnement et la performance. Je développe
une méthode de spécification qui permet de spécifier
un comportement complexe en composant des gabarits de comportements élémentaires
ressemblant à des chronogrammes. Le comportement peut ensuite être
vérifié par simulation ou par des méthodes formelles
où l'on vérifie les propriétés temporelles
et du séquencement en faisant abstraction du traitement. Enfin,
je développe des méthodes de synthèse d'une réalisation
matériel/logiciel à partir de ce type de spécifications.
|