De manière générale le cours vise à: •Présenter des méthodes de modélisation et de simulation pour s'assurer que le logiciel d'un système embarqué travaille correctement avec le matériel et que le matériel a été correctement conçu pour exécuter le logiciel •Sensibiliser l'étudiant à l'avantage de la co-conception logicielles et matérielles, et •Rendre les étudiants conscients du gain potentiel de productivité que permettent la conception et la vérification conjointe du logiciel et du matériel à plusieurs niveaux d'abstraction Au terme de ce cours, l'étudiant: •Pourra faire la conception conjointe et la simulation (dans différents niveaux d'abstraction) d'un système embarqué comprenant des composants logiciels et matériels ; •Pourra faire le lien entre certains aspects du génie logiciel et de la micro-électronique; •Sera au courant des travaux de recherche et de développement récents dans le domaine de la co-conception et de la vérification de systèmes embarqués numériques, et •Pourra éventuellement évaluer des outils de conception et de vérification de niveau système (SystemC) et de niveau Transfert de registre (VHDL)

Temps présentiel : 50 heures

Charge de travail étudiant : 75 heures

Méthode(s) d'évaluation : Travaux pratiques