Cours de M1
- Ordonnancement de systèmes temps réel mono-coeurs
- Cours Tolérance aux fautes(salon virtuel), transparents, fin du cours réplication + Recovery blocks
- TP tolérance aux fautes, salon virtuel
- RT-POSIX (sujet de TP avec lien vers les transparents de cours)
- Analyse de pire temps d’exécution (WCET/IPET)
- Salon virtuel
TD IPET (PDF)TD IPET (code)- Machine virtuelle
- Analyse des caches (WCET/CACHE)
- Salon virtuel
TD CACHE (PDF)TD CACHE (code)
Cours de M2
- Ordonnancement de systèmes temps réel multi-coeurs
- TD d’ordonnancement mono-coeur et multi-coeurs, d’IMA et de bus temps réel
- Integrated Modular Avionics
- Réseaux et bus temps réel
- Cours sur les dépassements d’échéances,
- TP sur les dépassements d’échéances (ancienne version)
- TP/TD dépassement d’échéances
- Cours Analyse quantitative.
- Tp analyse quantitative I
- Tp analyse quantitative II
Cours divers
- TP de serveurs périodiques de tâches apériodiques
- TD étude de cas sûreté de fonctionnement : TD-SAR-UC
Références :
Attention : ces documents sont complémentaires au cours. Ils sont très détaillés et pour cela s’adressent plus particulièrement à des étudiants en thèse.
- Introduction à l’ordonnancement temps réel mono-coeur (Decotignie – FR)
- Ordonnancement temps réel mono-coeur (Lipari – EN – ETR 2015)
- Ordonnancement temps réel mono-coeur (Davis – EN – ETR 2013)
- Ordonnancement temps réel multi-coeurs (Goossens – EN – ETR 2013)
- Réseaux et bus temps réel (Sharbag – EN – ETR 2015)
Examens