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é - 4MM1ACSS

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 : 18.0
    • TD : 18.0
    Crédits ECTS : 2.0

Objectifs

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

Contact Xavier NICOLLIN

Contenu

  • Notions générales : sémantique opérationnelle des langages de programmation impératifs, expression de propriétés des programmes, notion de vérification exacte ou approchée ;
  • Eléments théoriques sur le point fixe et la décidabilité ;
  • Développement d'une chaîne de vérification par interprétation abstraite, depuis le texte du programme jusqu'à la réponse d'un outil de vérification.
    • Ce cours est donné en Période(s) Académique(s) 5 et 6 **


Prérequis
  • Algorithmique et programmation
  • Théorie des langages

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) : tous documents autorisés
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices) : tout dispositif électronique interdit

  • 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 : 1h30
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents autorisés
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices) : tout dispositif électronique interdit

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


Session 1 : un examen écrit de 2h en fin de 1ère période (E1a), un examen écrit de 2h en fin de deuxième période (E1b). La note est N1 = E1 = (E1a + E1b)/2
Session 2 : un examen écrit de 1h30 (E2) qui remplace tout : N2 = E2
Pour toutes les épreuves écrites : tous documents autorisés. Toute machine communicante interdite.

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 11 juillet 2018

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