Validation des systèmes embarqués - 5MMVSE

• 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 2 h, note E1, TP, note C, note calculée = (2*E1 + C)/3
Session 2: écrit 1h, note E2, note calculée = E2