Volumes horaires
- CM 8.25
- TD 8.25
Crédits ECTS
Crédits ECTS 2.0
Objectif(s)
- Présenter la spécialisation des systèmes d'exploitation pour le temps-réel.
- Etudier les principes de la programmation temps-réel au-dessus de ces systèmes temps-réel
Contenu(s)
- Programmation des systèmes temps réel sur machine nue et leurs limitations (prog. synchrone sur modèle de la boucle simple)
- Analyse théorique de l'ordonnancement temps réel
* Modèle théorique des systèmes périodiques concurrents sur mono-processeurs (WECT)
* Etude d'algorithmes d'ordonnancement et leurs preuves
* Gestion des événements & temps réel
* Temps réel et partage de ressources, résolution de l'inversion de priorité - OS Temps réel
* Caractérisation des services d'un OS par rapport au temps réel (WECT)
* Analyse comparative avec OS temps partagé (Unix/Linux) - Interactions logiciel/matériel et temps réel
Prérequis
Automates, programmation séquentielle, systèmes d'exploitation.
Contrôle des connaissances
CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) :
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : devoir surveillé
Salle spécifique :
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) :
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):
- matériel autorisé, préciser :
- matériel interdit, préciser :
Commentaires :
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) :
Salle spécifique :
Durée :
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) :
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):
- matériel autorisé, préciser :
- matériel interdit, préciser :
Commentaires :
N1=E1
N2=E2
Informations complémentaires
Cursus ingénieur->Filière SLE->Semestre 3
Bibliographie
- Real-Time Systems, Jane W.S. Liu, Prentice Hall, 2000