Introduction aux systemes d'exploitation temps-réel - 4MMISET7

Volumes horaires
- CM 13.5
- Projet -
- TD -
- Stage -
- TP 6.0
- DS -
Crédits ECTS
Crédits ECTS 1.5

Objectif(s)

Spécification temporelle des applications embarqués
Théorie de l'ordonnancement pour le temps réel
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

Responsable(s)

Stephane MANCINI

Contenu(s)

Programmation des systèmes temps réel sur machine nue et leurs limitations

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

Programmation
Systèmes d'exploitation

Contrôle des connaissances

SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : devoir surveillé
Salle spécifique :
Durée : 2h
Tous documents autorisés
Matériel (ex : calculatrices):

matériel autorisé, préciser : calculatrice basique
matériel interdit, préciser : téléphone, ordinateurs, montres connectées

SESSION DE RATTRAPAGE :
Oral
Salle spécifique :
Durée :
Tous documents autorisés

Matériel (ex : calculatrices): idem

E1=N1
E2=N2

N1=E1
N2=E2

Calendrier

Le cours est programmé dans ces filières :