Partager cette page :
Discipline(s) : Infomatique et télécommunications

Systèmes temps réel

Semestre Semestre 2
Type Facultatif
Nature UE

Pré-requis

Connaissances de base en systèmes d'exploitation, programmation dans un langage impératif tel que C.

Objectifs

Les systèmes temps réel, en plus de devoir être corrects fonctionnellement, doivent respecter des contraintes de temps (typiquement des échéances de terminaison) sous peine de dysfonctionnements. Ce cours s'intéresse à la conception de systèmes temps réel : modèles de calculs, ordonnancement de tâches, vérification d’ordonnançabilité (analyse de faisabilité, estimation de pires durées d’exécution), systèmes d’exploitation temps réel. Les travaux pratiques permettront de mettre en pratique l’utilisation d’un système d’exploitation temps réel, ainsi que d’outils de vérification d’ordonnançabilité.

A l’issue de cette unité d’enseignement, l’étudiant sera apte à utiliser des systèmes d’exploitation temps réel ainsi que des outils de vérification d’ordonnançabilité.

Contenu

Cours et travaux dirigés

1. Introduction aux systèmes temps réel
2. Ordonnancement temps réel :
- Ordonnancement hors ligne et en ligne
- Ordonnancement à priorités fixes (RM, DM) et dynamiques (EDF, LLF)
3. Systèmes d'exploitation temps réel :
- Ordonnancement de processus
- Synchronisation, inversion de priorité, héritage de priorité
- Gestion de la mémoire
4. Vérification d’ordonnançabilité :
- Méthodes analytiques (analyse RMA, analyse de temps de réponse, détermination de WCET, analyse de demande processeur)
- Méthodes de test et simulation
5. Cohabitation de temps réel strict et souples : serveurs
6. Ordonnancement temps réel en multi-coeurs
 
Travaux pratiques
Les travaux pratiques consisteront à utiliser un système d’exploitation temps réel et des outils de calcul de pires durées d’exécution et/ou outils de vérification d’ordonnançabilité.

Contrôles des connaissances

Examen terminal et contrôle continu de travaux pratiques.

Mise à jour le 12 avril 2018