Etude du déterminisme dans le noyau Linux. Bonnes pratiques de développement d'applications temps réel et mise en œuvre de patchs pour le temps réel linux-rt et xenomai.

Objectifs

Mettre en œuvre un système Linux temps réel pour le multimédia. Comprendre pourquoi Linux vanilla n est pas un système temps réel industriel. Transformer linux en système temps réel industriel à l'aide de patchs Linux-RT ou Xenomai.

Matériel

Les travaux pratiques du stage Linux embarqué sont réalisés sur:

  • Ordinateur portable ou station de travail sous Debian (RedHat ou Fedora sur demande(*)).

(*) Attention ces modifications peuvent entrainer une modification des themes abordés.

Participants

Cette formation s'adresse aux Architectes et développeurs devant construire ou utiliser un système temps réel industriel ou un système multimédia basé sur linux.

Pré-requis

De préférence: Bonnes connaissance des systèmes d'exploitation et de la programmation en C.

Programme

RAPPELS SUR L'ARCHITECTURE DE LINUX ET LE TEMPS REEL

  • Fonctionnement des espaces noyau et utilisateurs en relation avec le micro-processeur
  • L'architecture modulaire du noyau Linux
  • Les outils de développement et d'analyse
  • Définition du temps réel
  • Les ordonnanceurs pour le temps réel

TEMPS REEL POUR LE MULTI-MEDIA

  • L'ordonnanceur de linux 3.x, les différentes politiques temps réel
  • Les différents points de préemption des applications
  • La mesure et la précision du temps, la date et l'horodatage
  • L'influence de l'architecture multiprocesseur sur l'ordonnancement
  • L'influence de l'architecture de l'application en fonction de l'architecture système

POSIX 1003.1b

  • La gestion de la mémoire et son importance sur le déterminisme
  • La gestion des interruptions sous Linux et son influence sur le déterminisme
  • Les règles pour écrire une application temps réel pour le multimédia
  • Les règles pour écrire un pilote de périphérique basse latence
  • Travaux pratiques
  • Ecrire une application temps réel (par exemple une mesure de latence) en utilisant toutes les règles d'usage et vérifier son déterminisme sur un système stressé.

TEMPS REEL STRICT - LINUX-RT

  • Le patch Linux-RT, le patch PREEMPT
  • Gestion d'une application temps réel avec Linux-RT
  • Ecrire une application avec Linux-RT
  • Ecrire un pilote de périphérique pour Linux-RT
  • Travaux pratiques
  • Mise en œuvre de Linux-RT et mesures de latence.

XENOMAI ET RTAI

  • Présentation des architecture RTAI et Xenomai.
  • La virtualisation par ADEOS
  • Les API de Xenomai
  • Les outils associés à Xenomai ou RTAI
  • Ecriture d'une application témps réel avec Xenomai
  • Ecriture d'un pilote de périphérique pour Xenomai
  • Travaux pratiques
  • Installation de Xenomai. Création de tâches temps réel strict. Gestion des communications. Ecriture d'un gestionnaire d'interruption, de processus ordonnancé en temps réel strict. Installation et utilisation de Xenomai.

HYPERVISEURS TEMPS REEL

  • Présentation des architectures à base d'hyperviseur
  • Les hyperviseurs type L4, comme PikeOS
  • Les hyperviseurs type ARINC, comme XtratuM
  • Les éléments d'un hyperviseur, ordonnancement, mémoire, interruptions
  • Le portage d'un OS sur un hyperviseur
  • Exemple d'hyperviseur pour ARM : X-Hyp
  • Etude de l'implémentation de X-Hyp
  • Le portage de FreeRTOS sur X-Hyp
  • Travaux pratiques
  • Mise en œuvre de X-Hyp
Informations

Durée et prix du stage

Prochaines sessions:

09-03-2015Toulouse
07-04-2015Paris
06-07-2015Aix-En-Provence

Autres sessions:    
Contact:
S'inscrire:

Calendrier 2015

Consultez le calendrier complet de nos formations pour le premier semestre 2015.

Repas du midi et collations compris dans le prix.

Témoignages

Martin B.
La formation sur les drivers réseaux m'a permis de comprendre le fonctionnement interne de IPSEC.

Jean-Dominique T.
Après mon stage sur les systèmes embarqués j'ai été en mesure de monter mon système de domotique personnel avec une beagle-board.

Android

La formation Android Internals debutera le 1 mars à Paris - Tour de l'Horloge.

Linux Embarqué
La formation linux embarqué est effectuée sur cartes beaglebone.
La carte est offerte aux stagiaires en fin de stage.


Site construit par M.N.I.S. en utilisant Bootstrap licence Apache V2 et Glyphicons Free licence CC BY 3.0
janvier 2015