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

Session Horaire Titre du cours Responsable
1 lundi, 24 février Cours: Introduction vérification et test Ulrich Kühne
2 lundi, 24 février Cours: Test-Driven Design Ulrich Kühne
3 mercredi, 26 février TP: Test-Driven Design Ulrich Kühne
4 vendredi, 28 février

Cours: Introduction méthodes formelles

Étienne Borde
5 lundi, 2 mars Cours: Vérification du matériel
Cours: System Verilog Assertions
Ulrich Kühne
6 lundi, 2 mars  TP: Vérification du matériel avec SVA Ulrich Kühne
7

mercredi, 4 mars

TP: UPPAAL Étienne Borde
8 vendredi, 6 mars

Cours: Modélisation des systèmes embarqués

Ludovic Aprville

 

Fichier attachéTaille
PDF icon se767-intro.pdf2.01 Mo
PDF icon se767-tdd.pdf1.24 Mo
PDF icon Vérification du matériel2.52 Mo
PDF icon System Verilog Assertions556.84 Ko