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)
- supports sftr https://trobert.wp.imt.fr/fr/804-2/
- SE 201 (version 2015): Supports d’exécution (essentiellement un cours d’architecture des processeurs) site pédagogiquel’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