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

Session Horaire Titre du cours Responsable
1 lundi, 11 janvier Cours: Introduction vérification et test Ulrich Kühne
2 lundi, 11 janvier Cours: Test-Driven Design Ulrich Kühne
3 mercredi, 13 janvier TP: Test-Driven Design Ulrich Kühne
4 vendredi, 15 janvier

Cours: Introduction méthodes formelles

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

vendredi, 22 janvier

TP: UPPAAL Étienne Borde
8 lundi, 8 févier

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