Introduction aux systemes d'exploitation temps-réel - 4PMIISE1
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
Objectifs
*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
Contact Stephane MANCINI
Contenu *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érequisProgrammation en langage C
Systèmes d'exploitation
Contrôles des connaissances Le TP n'est pas noté, des questions de l'examen écrit peuvent concerner le TP
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : Ecrit (devoir surveillé)
Salle spécifique :
Durée : 2h
Aucun document autorisé
Matériel (ex : calculatrices):
*matériel autorisé, préciser : calculatrice officielle
*matériel interdit, préciser : téléphone, ordinateurs, montres connectées
SESSION DE RATTRAPAGE :
Ecrit (devoir surveillé)
Salle spécifique :
Durée :
Aucun document autorisé
Matériel (ex : calculatrices):
*matériel autorisé, préciser : calculatrice officielle
*matériel interdit, préciser : téléphone, ordinateurs, montres connectées
E1= N1
E2= N2
N1= E1
N2= E2
*********************************
En cas de confinement
L'examen est remplacé par un Devoir à la maison
N= DM
Informations complémentaires Cursus ingénieur->Filières->Semestre 8
Bibliographie Real-Time Systems, Jane W.S. Liu, Prentice Hall, 2000
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail
mise à jour le 30 juin 2020