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.
Contact Florence MARANINCHI*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
*Pratique de la programmation dans un langage impératif
*Conception de circuits numériques
*Langages formels, compilation
*Systèmes d'exploitation
*Graphes
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 2h, note E1, note calculée = E1
Session 2: écrit de 1h, note E2, note calculée = E2
mise à jour le 29 juillet 2020
Nos sites
e-Services
