Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

Validation des systèmes embarqués - 5MMVSE7

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 : -
    • TP : 6.0
    • Projet : -
    • Stage : -
    • DS : -
    Crédits ECTS : 1.5
  • Responsables : Florence MARANINCHI

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.

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 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 :

  • Cursus ingénieur - Filière SEOC - Semestre 9
cf. l'emploi du temps 2020/2021

Informations complémentaires

Code de l'enseignement : 5MMVSE7
Langue(s) d'enseignement : FR

Le cours est rattaché aux structures d'enseignement suivantes :

Vous pouvez retrouver ce cours dans la liste de tous les cours.

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 18 juin 2017

anglais
Grenoble INP - Ensimag
École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72
38402 SAINT MARTIN D'HERES
 
 
République Française         Groupe INP Logo de la Commission des titres d'ingénieur (CTI)
    Université Grenoble Alpes