Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

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

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Volumes horaires

    • CM : 8.25
    • TD : 8.25
    Crédits ECTS : 1.5

Objectifs

  • 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

  • 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ôles 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

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 cet article Facebook Twitter Linked In
Université Grenoble Alpes