Ecole d'ingénieur et centre de recherche en télécommunications

Formal/methods-Spécification et Vérification formelles des systèmes

[FormalMet]
T Enseignement Technique


Résumé

  • Ce cours vise à donner aux étudiants les notions de base de la spécification et la vérification formelles.
  • L'accent est particulièrement mis dans cet enseignement sur l'utilisation pratique des concepts rencontrés.

Description

OBJECTIFS :

  • Le développement de systèmes critiques, tels que les systèmes dont les défaillances  peuvent avoir des conséquences catastrophiques, nécessite l'utilisation de méthodes de conception fiables basées sur des approches formelles. Les méthodes formelles sont des méthodes rigoureuses, basées sur la théorie. Elles permettent donc de raisonner sur les systèmes et de les analyser  afin de démontrer leur validité par rapport à certaines propriétés données. L'utilisation de ces méthodes est souvent associée  au savoir faire et aux compétences des développeurs dans le domaine.
  • Ce cours vise à donner aux étudiants les notions de base de la spécification et la vérification formelles. 
  • L'accent est particulièrement mis dans cet enseignement sur l'utilisation pratique des concepts rencontrés.

 

CONTENU :

  • Les techniques de spécification et vérification formelles de systèmes.
  • Un exemple de méthodologie formelle, la méthode B.
     
Nombre d'heures: 21.00
Nombre d'heures par semaine: 1.50
Forme du contrôle: examen écrit ou contrôle continu