Validation des systèmes embarqués - 5MMVSE7

Volumes horaires
- CM 12.0
- Projet -
- TD -
- Stage -
- TP 6.0
- DS -
Crédits ECTS
Crédits ECTS 1.5

Objectif(s)

L'objectif de ce cours est de tracer un panorama des méthodes et outils de validation automatique des systèmes informatiques matériels et logiciels, comme les systèmes embarqués.

Responsable(s)

Florence MARANINCHI

Contenu(s)

Introduction générale au problème de la validation de systèmes matériels et logiciels
Problèmes de modélisation pour la validation
Notion d'automate interprété général
Model-checking et BDD (Binary-Decision-Diagrams)
Introduction à l'interprétation abstraite

Prérequis

Pratique de la programmation dans un langage impératif
Conception de circuits numériques
Langages formels, compilation
Systèmes d'exploitation
Graphes

Contrôle des connaissances

CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) : TP

SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : Ecrit
Salle spécifique : non
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous
Documents interdits (ex : livres, tous documents) : rien
Matériel (ex : calculatrices):

matériel autorisé, préciser : rien
matériel interdit, préciser : téléphones, calculettes, tablettes, ordinateurs, ...
Commentaires :

SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique : non
Durée : 1h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous
Documents interdits (ex : livres, tous documents) : rien
Matériel (ex : calculatrices):

matériel autorisé, préciser : rien
matériel interdit, préciser : tout (téléphones, calculettes, tablettes, ordinateurs, ... )
Commentaires :

Session 1: écrit de 2 h, note E1, TP, note C, note calculée = (2*E1 + C)/3
Session 2: écrit 1h, note E2, note calculée = E2

Calendrier

Le cours est programmé dans ces filières :