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

> Formation > Cursus ingénieur

Analyse de code pour la sûreté et la sécurité - 4MMACSS

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

    • CM : 10.5
    • TD : 21.0
    Crédits ECTS : 3.0

Objectifs

Ce cours est une introduction aux fondements de la sémantique et l’analyse de programmes. Il offre les bases sur lesquelles s’appuyer pour spécifier et développer des applications sûres, construire et se servir d’outils d’analyse et de vérification.

Contact Marie-Laure POTET

Contenu

  • Sémantique opérationnelle des langages de programmation.
  • Calcul de plus faible précondition et preuve de programmes.
  • Analyse de flot de données.
  • Analyse statique et interprétation abstraite.
  • Applications à la compilation, à la sûreté et à la sécurité des logiciels.
  • Travaux pratiques à l'aide de 2 outils industriels.


Prérequis

Ce cours fait suite aux cours de programmation et de théorie des langages de première année.

Contrôles des connaissances

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

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

  • matériel autorisé, préciser :
  • matériel interdit, préciser :
    Commentaires :

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

  • matériel autorisé, préciser :
  • matériel interdit, préciser :
    Commentaires : un examen écrit de 2h (remplace la note de session 1)


Informations complémentaires

Cursus ingénieur->Filière ISI->Semestre 8

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

mise à jour le 18 juin 2017

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes