v2.11.0 (5776)

Enseignement scientifique & technique - InterSem - ELECINF103 : Méthodes formelles pour la conception de systèmes sûrs

Domaine > Electronique, Informatique.

Descriptif

Ce cours est une introduction à l'utilisation des méthodes formelles pour l'analyse automatique des systèmes.

Les méthodes formelles sont des techniques basées sur logique mathématique, permettant de raisonner rigoureusement sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.

Objectifs pédagogiques

Les objectifs principaux du cours de méthodes formelles sont d'initier les étudiants aux concepts fondamentaux des méthodes formelles, d'apprendre à spécifier le comportement des systèmes et d'expérimenter les outils de preuve.

27 heures en présentiel (18 blocs ou créneaux)

effectifs minimal / maximal:

12/30

Diplôme(s) concerné(s)

Parcours de rattachement

Pour les étudiants du diplôme Diplôme d'ingénieur

Aucun

Format des notes

Numérique sur 20

Littérale/grade européen

Pour les étudiants du diplôme Diplôme d'ingénieur

Vos modalités d'acquisition :

Contrôle terminal écrit (1h30)

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2 ECTS

La note obtenue rentre dans le calcul de votre GPA.

Programme détaillé

The course gives both the theoretical foundations and the practical use of formal methods.

  • Les cours en classe se concentrent sur les fondements du raisonnement formel : la logique du premier ordre, les techniques de preuve telles que la technique déductive.
  •  Dans l'apprentissage pratique, les notions seront approfondies par l'utilisation d'outils de preuve.

Le cours présente à la fois les fondements théoriques et l'utilisation pratique des méthodes formelles.

 

Les étudiants apprendront les bases de la logique classique et du raisonnement déductif.

Application pratique des méthodes formelles : Les étudiants expérimenteront une méthode formelle soutenue par un outil.

Mots clés

Spécifications, modélisation, vérification

Support pédagogique multimédia

Oui

Veuillez patienter