Ensimag Rubrique Formation 2022

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

  • Volumes horaires

    • CM 18.0
    • Projet -
    • TD 18.0
    • Stage -
    • TP -
    • DS -

    Crédits ECTS

    Crédits ECTS 2.0

Objectif(s)

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,
construire et se servir d’outils d’analyse et de vérification.

Responsable(s)

Xavier NICOLLIN

Contenu(s)

  • Eléments théoriques sur le point fixe et la décidabilité
  • 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

Ce cours est donné en Période(s) Académique(s) 5 et 6

Prérequis

  • Algorithmique, programmation
  • Théorie des langages

Contrôle des connaissances

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

SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique :
Durée : 4h (2h par PA)
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
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 : tous documents autorisés. Toute machine communicante interdite.

Calendrier

Le cours est programmé dans ces filières :

  • Cursus ingénieur - Alternance - Alternance 2eme annee
cf. l'emploi du temps 2023/2024

Informations complémentaires

Code de l'enseignement : 4MM1ACSS
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.