Ensimag Rubrique Formation 2022

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

  • 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
Contact Stéphane MANCINI

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