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
Acquis d'apprentissageÀ l'issue de l'UE, l'élève sera capable de:
- Analyser, identifer, interpréter
- Expliquer, démontrer, justifier
Compétences de rattachement (et justification)
- BC10.1 – Modéliser des phénomènes, des situations, des signaux, des données dans un objectif, par exemple de conception de nouveaux produits dans le domaine du numérique; Justification : Le cours présente des outils théoriques et pratiques qui contribuent à modéliser les systèmes numériques en fournissant un cadre formel pour les décrire à différents niveaux d'abstraction, ainsi que pour les vérifier.
- BC10.3 – Analyser une résolution par des approches formelles ou mathématiques; Justification :
Le cours aborde également différentes techniques de preuve permettant de démontrer le bon fonctionnement d'un système.
- BC10.2 – Analyser et résoudre des problèmes mathématiques et algorithmiques nécessaires dans des étapes de réalisation d’un projet en s’appuyant, si besoin est, sur des simulations et dans l’objectif d’implémenter des solutions compétitives; Justification :
effectifs minimal / maximal:
12/30Diplôme(s) concerné(s)
UE de rattachement
- MDC_3UE02_TP : Sciences et technologies de l'ingénieur (I)
Pour les étudiants du diplôme Diplôme d'ingénieur
Aucun
Format des notes
Numérique sur 20Pour les étudiants du diplôme Diplôme d'ingénieur
Vos modalités d'acquisition :
Contrôle continu
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 10
Le coefficient de l'UE est : 0.2
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
Modeliastion, preuve, logiqueMéthodes pédagogiques
Classique: cours-TD-TPSupport pédagogique multimédia
