Formation Informatique | Formation Management
Informatique » Systèmes d'exploitation » Formation Linux »

Hyperviseur et Linux temps réel


Formation Linux temps réel

Stage pratique
Eligible au DIF

Réf : HYP

Prix 2012 : 2630 € H.T.
Durée :  5  jours
Cliquer sur une session pour réserver:

Paris
4 juin 12, 15 oct. 12

Toutes les sessions  

Lyon,Aix
Nantes,Rennes
Toulouse,Bordeaux
Bruxelles,Strasbourg
Lille,Geneve
Sophia-antipolis,Luxembourg
:
Nous contacter
Filières métiers:

Développeur C / C++ temps réel et embarqué
Pour aller plus loin

BSP Uboot et Linux embarqué

version pdf imprimer Faire suivre


Les objectifs de cette formation Linux temps réel


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.

Participants de cette formation Linux temps réel

Architecte ou développeur confronté à des problèmes de temps réel désireux d'utiliser la puissance de Linux tout en conservant le cadre de développement et la sécurité d'un OS temps réel standard ou bien réaliser des gains de production en faisant cohabiter pile 3G+ et machine JAVA sur le même chip.

Pré-requis de cette formation Linux temps réel

Connaissances de base du développement de programmes en C, des exécutifs temps réel et de Linux.

Travaux pratiques

Effectués sur une plate-forme de type PC, les travaux pratiques proposés sous forme de squelettes à compléter permettent aux stagiaires de mettre en oeuvre une application temps réel et de réaliser l'interface avec Linux.


Programme de cette formation Linux temps réel

Présentation des architectures temps réel sous Linux

Evolution temps réel de 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.

- Virtualisation des interruptions avec ADEOS et Xenomai.

Les hyperviseurs temps réel

- Historique et principe des hyperviseurs temps réel.

- Les hyperviseurs temps réel libres, L4Ka et pistachio.

- Les projets OK-L4 et XtratuM.


Temps réel sous Linux et Linux-rt

Linux Vanilla

- API de développement d'application temps réel avec Linux Vanilla.

- Avantages et inconvénients.

Patch RT

- Application du patch RT.

- Développement d'application 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 réel

L4 et OKL4

- Mise en oeuvre et Configuration de OK-L4.

- Configuration de L4Linux.

Xtratum

- Gestion des domaines.

- Communication inter-domaine.

- Interface applicative, les schedulers, la gestion mémoire et la synchronisation.

Travaux pratiques
Installation d'un hyperviseur, Xtratum et Partikle ou bien L4 et L4Linux. Développement d'une mini application temps réel.

Hyperviseurs temps réel et virtualisation matériel

Techniques de virtualisation matériel Intel et AMD

- Utilisation de VT-x pour la virtualisation.

- Exemple de Xen, limitations sur le temps réel.

- VLX: un hyperviseur temps réel commercial pour Intel et ARM.