Vous êtes ici

  1. Accueil
  2. Systèmes d'exploitation, Systèmes temps réel

Systèmes d'exploitation, Systèmes temps réel

Systèmes d'exploitation, Systèmes temps réel

En pratique :

Volume horaire de cours : 30
Volume horaire global de TD : 12
Volume horaire global de TP : 18
Langue principale : français

Compétences à acquérir

Ce cours présente les concepts de base des systèmes d'exploitation. Ces concepts théoriques sont mis en pratique par l'utilisation et la programmation sur un système Linux.
Environ un tiers du module est consacré à la présentation des systèmes temps réel et la maîtrise de la conception pour ces systèmes. Une approche méthodologique sera présentée et les avantages d'une telle approche seront explicités. La décomposition du système à développer en sous fonctions de plus en plus détaillées est effectuée pour parvenir à une représentation dynamique du système. Les réseaux de Petri seront aussi présentés afin d'exprimer la dynamique du système.
Le passage de la modélisation au code C sera abordé afin d'illustrer notamment les outils système à utiliser pour un développement cohérent. Les concepts vus en cours seront illustrés en TP.
 


Modalités d’organisation et de suivi

Le cours comprend essentiellement les éléments suivants :

  • Objectifs et fonctionnalités d'un système d'exploitation
  • Composantes d'un système d'exploitation
  • Historiques des systèmes d'exploitation
  • Types des systèmes d'exploitation
  • Évolutions des systèmes d'exploitation

Présentation du système Unix

Pour la partie temps réels :

  1. Introduction, concepts généraux des systèmes temps réel, intérêt des approches méthodologiques
  2. Présentation de la méthodologie SART, identification du périmètre de l'environnement et du système à développer, décomposition en sous fonction, descriptions statique et dynamique
  3. Validation et test, objectif de la validation, techniques de test

Bibliographie, lectures recommandées

Beauquier J., Bérad B. - Systèmes d'explitations : Concepts et algorithmes ( 1990 )