CS5006 - Advanced V&V Part 1

CS5006 - Advanced V&V Part 1

Objectifs

Objectif général :

At the end of the course, the student will be able to understand and use some verification and system validation techniques
and validation techniques based on the development and use of models.

Objectifs détaillés :

At the end of this course, the student will be able to:
- explain the place of formal methods in system engineering processes: objectives sought, input and output data.
- compare formal methods with other verification and validation methods.
- Know how to model and conduct certain verifications using a refinement approach such as the B method

Volume horaire (h)

  • Cours Magistraux : 3h
  • Travaux Dirigés : 17h

Examens

Nombre total d'heures d’évaluation : 2

En bref

Crédits ECTS : Cf UE

Nombre d'heures 22

Contact(s)

Célia PICARD

Tél : 0562174221

Email : celia.picard @ enac.fr

Lieu(x)

  • Toulouse