Changes between Version 70 and Version 71 of WikiStart


Ignore:
Timestamp:
Feb 17, 2010, 11:24:55 PM (16 years ago)
Author:
franck
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v70 v71  
    55[[PageOutline]]
    66
     7== Objectif du module ==
     8
     9L'objectif de ce module est d'analyser en détail le fonctionnement d'un système d'exploitation pour système embarqué. Le cours rappelle brièvement les principaux concepts des systèmes d'exploitation, puis détaille l'implémentation d'un système d'exploitation spécifique pour des architectures matérielles de type SOC (system on chip), c'est à dire constituées d'un ou plusieurs processeurs 32 bits, de mémoire embarquée, et de différents contrôleurs de périphériques mappés en mémoire. On vise donc des systèmes embarqués autonomes capables de contrôler un équipement industriel.
     10
     11== Equipe pédagogique et organisation du module ==
     12
     13Les cours ont lieu en salle 42-43 310 le vendredi de 13h30 à 15h30. Les TME ont lieu les jeudi de 13h30 à 17h15 en salle 65-66 408.
     14
     15 * Franck Wajsburt
     16 * Ghassan Almaless
     17
    718== Structure de l'OS final et plateforme d'évaluation ==
     19
     20Le cours est organisé autour de la réalisation pratique d'un OS embarqué multi-tâches compatible POSIX.
     21
     22Les TME consistent à écrire, à partir de rien ou presque, les différents composants du système d'exploitation. Celui-ci est mis au point en simulation sur un SOC modélisé en SystemC en utilisant la plate-forme de modélisation SoCLib, et composé essentiellement de quelques processeurs mips32, d'une mémoire, d'un timer, d'un multi-tty (terminal), d'un contrôleur video, d'un contôleur de disque et d'un port d'E/S rs232.
     23
     24 progression ::
     25
     26 * Un noyau d'OS qui virtualise le processeur, sans communication entre les taches, sans partage de devices mais avec une HAL.
     27 * Ajout des communication intertaches, partage de devices: mécanisme de file d'attente et événements.
     28 * user land : ABI kernel (liste des syscall) + phthread + dietlibc + compilation séparée.
     29 * Gestion des fichier, buffer cache.
    830
    931L'OS que vous allez réalisé ne contiendra pas tous les modules présents sur le schéma de gauche, mais c'est l'objectif vers lequel vous irez.