Pages professionnelle – Thomas Robert

Maître de Conférence

Enseignements

Je réalise différents enseignements sur les 3 années du cycle ingénieur à Telecom ParisTech, ainsi que dans des Master 2 en région parisienne (Master SAR, SETI, COMASIC).

Liste des unités d’enseignement dont j’ai la responsabilité (année 2015-16)

  • SE 201 (version 2015): Supports d’exécution (essentiellement un cours d’architecture des processeurs)  site pédagogique
    l’UE a changé, les ressources pédagogiques ont été retiré pour éviter tout confusion avec les nous supports de cours.
  • SDF ( Master COMASIC) : site pédagogique
  • INF722 (Mastère Spécialisé) : site pédagogique

Liste des unités d’enseignement dans lesquelles je participe :

  • Groupe ASTRE/FSET/ETER (dans différents Master 2) : cours / tp / td sur les architectures embarquées et les systèmes d’exploitation.
    • Transparents Sureté de fonctionnement/Tolérance aux Fautes (pdf), site du tp Tolérance aux fautes
    • Analyse pire temps d’exécution (pdf), tp.
    • Transparents Chaine de production (Cross Compilation — déploiement carte embarquée) (pdf), le tp correspond au début du tp sur le noyau osek (ici)
    • Transparents Vérification Formelle (pdf), tp Vérification (sous Uppaal),
    • Transparents Noyaux (Noyau pour SETI et ASTRE), tp
  • INF104 : introduction au langage C et aux systèmes d’exploitation site de l’UE