Piloter des systèmes de communication ou de contrôle commandedemandent un déterminisme que LINUX vanilla ne peut pas offrir. Pour obtenir ce déterminisme il est nécessaire d'appliquer des patchs à LINUX ou d'utiliser un Hyperviseur temps réel.

Objectifs

A l'issue de cette formation, vous serez en mesure de choisir entre les différentes solutions temps réel pour Linux et de développer des applications temps réel basées sur Linux-rt, Xenomai ou sur une architecture reposant sur des hyperviseurs temps réel.

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 basé sur un hyperviseur temps réel

Pré-requis

Au minimum: Connaissance de Linux et du développement en C sous Linux.
De préférence: Bonnes connaissance du noyau Linux ou bonne expérience des systèmes temps réels.

Programme

LA VIRTUALISATION SOUS LINUX

  • Théorie de la virtualisation, de 1970 à nos jours, l'influence du matériel
  • QEMU, un hyperviseur et un émulateur
  • KVM et l'utilisation de la virtualisation matérielle pour une virtualisation de Linux
  • Les " namespaces " et la virtualisation d'application, virtuozo et openvizi
  • XEN, véritable un hyperviseur opensource
  • Travaux pratiques
  • Installation de Xen et administration de Xen

PRESENTATION DES ARCHITECTURES TEMPS REEL SOUS LINUX

  • Historique et évolution du noyau.
  • Latence sous Linux Vanilla, Patch RT, Timesys et Montavista.
  • Les nano-noyaux et la virtualisation d'interruption : historique et principe des nano-noyaux RTLinux et RTAI.
  • Historique et principe des nano-noyaux RTLinux et RTAI.
  • Virtualisation des interruptions avec ADEOS et Xenomai.
  • Historique et principe des hyperviseurs temps réel.
  • Les outils libres, L4Ka et pistachio. Les projets OK-L4 et XtratuM.

TEMPS REEL SOUS LINUX ET LINUX-RT

  • Présentation de Linux Vanilla. Fonctionnalité, avantages et inconvénients.
  • API de développement d'application temps réel avec Linux Vanilla.
  • Application du patch RT.
  • Développement d'applications avec Linux-rt.
  • Développement de drivers pour Linux-rt.
  • Travaux pratiques
  • Installation du patch RT. Développement d'une application temps réel sous Linux et Linux-rt.

DOMAINES ADEOS ET XENOMAI

  • ADEOS : application du patch ADEOS. Développement d'applications pour ADEOS.
  • Xenomai : application du patch Xenomai.
  • Développement d'applications avec Xenomai.
  • Développements de drivers pour Xenomai.
  • Travaux pratiques
  • Développement d'un outil de trace avec ADEOS. Développement d'une application temps réel pour 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
  • Développement d'une application pour FreeRTOS sous X-Hyp
  • Développement d'un pilote de périphérique pour X-Hyp
  • Travaux pratiques
  • Installation de X-hyp, porter FreeRTOS sous X-Hyp
Informations

Durée et prix du stage

Prochaines sessions:

04-05-2015Aix-En-Provence
08-06-2015Lyon
06-07-2015Toulouse

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