Aller au menu Aller au contenu
Diversité scientifique et technologique
L'école d'ingénieurs de physique, électronique, matériaux
Diversité scientifique et technologique

> Formation

Validation des systèmes embarqués - 5PMIVSE1

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Volumes horaires

    • CM : 12.0
    • TD : 0
    • TP : 6.0
    • Projet : 0
    • Stage : 0
    • DS : 0
    Crédits ECTS : 1.5

Objectifs

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

Contenu

*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ôles 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 2h, note E1, note calculée = E1
Session 2: écrit de 1h, note E2, note calculée = E2

Informations complémentaires

Cursus ingénieur->Filières->Semestre 9

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

mise à jour le 29 juillet 2020

Université Grenoble Alpes