Vérification et Test des Systèmes Embarqués

Session Horaire Titre du cours Responsable Salle
1 lundi, 26 novembre
13h30 - 17h00
Cours: Introduction vérification et test Ulrich Kühne F809
2 mardi, 27 novembre
8h30 - 12h00
Cours: Test-Driven Design Ulrich Kühne A405
3 mardi, 27 novembre
13h30 - 17h00
TP: Test-Driven Design Ulrich Kühne A405
4 mercredi, 28 novembre
10h - 11h45
Cours: Modélisation des systèmes embarqués Ludovic Apvrille A405
5 mercredi, 28 novembre
13h30 - 15h00
Cours: Introduction méthodes formelles Étienne Borde F809
6 mercredi, 28 novembre
15h00 - 17h00
TP: UPPAAL Étienne Borde A405
7 jeudi, 29 novembre
8h30 - 12h00
Cours: Vérification du matériel
Cours: System Verilog Assertions
Ulrich Kühne F809
8 jeudi, 29 novembre
13h30 - 17h00
TP: Vérification du matériel avec SVA Ulrich Kühne A405
9 vendredi, 30 novembre
10h - 11h45
Cours: Modélisation des systèmes embarqués Ludovic Apvrille A405

 

Fichier attachéTaille
PDF icon se767-intro.pdf2.01 Mo
PDF icon se767-tdd.pdf1.24 Mo
PDF icon se767-hwverif.pdf2.52 Mo
PDF icon se767-sva.pdf520.58 Ko