Système d'exploitation temps réel SEOC - 4PMIMCS1

Informations générales

  • Volumes horaires

    • CM 18.0
    • Projet 0
    • TD 8.0
    • Stage 0
    • TP 2.0
    • DS 0

    Crédits ECTS

    Crédits ECTS 0.0

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

  • Micro-contrôleurs et leurs usages
Contact 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
  • Programmation des micro-contrôleur
    • Configuration
    • Programmation


Prérequis

Programmation en langage C
Systèmes d'exploitation

Contrôle des connaissances



Informations complémentaires

Cursus ingénieur->Filière SEOC->Semestre 8

Bibliographie

Real-Time Systems, Jane W.S. Liu, Prentice Hall, 2000