CS5006 - Vérification et validation (avancé)

Vous êtes ici :

CS5006 - Vérification et validation (avancé)

Objectifs

Objectif général :

A l’issue du cours, l’étudiant sera capable de comprendre et d’utiliser certaines techniques de vérification et de validation système basées sur l’élaboration et l’exploitation de modèles.

Objectifs détaillés :

- Etre capable d’expliquer la place des méthodes formelles dans les processus d’ingénierie système : objectifs recherchés, données d’entrées et produites.
- Etre capable de comparer les méthodes formelles avec les autres méthodes de vérification et validation.
- Etre capable de comprendre et d’expliquer les approches formelles basées sur la simulation de modèles (« model checking ») d’une part et sur la preuve formelle (« formal proof ») d’autre part.
- Connaitre un langage formel permettant de mettre en oeuvre une approche « model checking » de la vérification et validation
- Connaitre un langage formel permettant de mettre en oeuvre une approche « formal proof » de la vérification et validation.
- Savoir modéliser et conduire certaines vérifications par du « model checking »
- Savoir modéliser et conduire certaines vérifications par du « formal proof »

Volume horaire (h)

  • Cours magistraux : 14
  • Travaux dirigés : 6
Ce cours fait partie de la formation

En bref

Crédits ECTS : Cf UE

Nombre d'heures 20

Contact(s)

Daniel PRUN

Tél : +33 5 62 17 45 73

Email : daniel.prun @ enac.fr