Introduction : Comprendre et savoir utiliser les méthodes de vérification formelle des systèmes embarqués critiques tels que les systèmes avioniques.
Contenu du cours :
1) La vérification des systèmes discrets (automates finis, réseaux de Petri)
2) Les modèles temporisés : Les méthodes symboliques de vérification.
3) Les modèles paramétrés : La synthèse de paramètres
Travaux pratiques: Utilisation des outils UPPAAL et ROMEO
- Enseignant: Didier Lime