> Formations > Technologies numériques > Robotique, systèmes embarqués, IoT > Temps réel, systèmes embarqués > Formation Hyperviseurs et Linux temps réel > Formations > Technologies numériques > Formation Hyperviseurs et Linux temps réel

Formation : Hyperviseurs et Linux temps réel

Hyperviseurs et Linux temps réel

Télécharger au format pdf Partager cette formation par e-mail 2


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.


Inter
Intra
Sur mesure

Cours pratique en présentiel

Réf. HYP
Prix : 3310 € H.T.
  5j - 35h
Pauses-café et
déjeuners offerts




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.

Objectifs pédagogiques
À l’issue de la formation, le participant sera en mesure de :
  • Connaître les différentes architectures temps réel sous Linux
  • Développer une application temps réel sous Linux et Linux-rt
  • Développer une application temps réel pour Xenomai
  • Mettre en oeuvre OK-L4
  • Connaître les techniques de virtualisation du matériel Intel et AMD

Public concerné
Architecte, développeur désireux d'utiliser Linux 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
Connaissances de base du développement de programmes en C, des exécutifs temps réel et de Linux.

Programme de la formation

Présentation des architectures temps réel 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 réel 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 réel

  • L4 et OKL4 : mise en oeuvre et configuration de OK-L4. Configuration de L4Linux.
  • Xtratum : gestion des domaines. Communication interdomaine.
  • Xtratum : 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 du matériel

  • Techniques de virtualisation du 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.


Modalités pratiques
Travaux pratiques
Effectués sur une plate-forme de type PC et proposés sous forme de squelettes à compléter pour mettre en oeuvre une application temps réel.

Modalités d'évaluation
Le formateur évalue la progression pédagogique du participant tout au long de la formation au moyen de QCM, mises en situation, travaux pratiques…
Le participant complète également un test de positionnement en amont et en aval pour valider les compétences acquises.

Solutions de financement
Pour trouver la meilleure solution de financement adaptée à votre situation : contactez votre conseiller formation.
Il vous aidera à choisir parmi les solutions suivantes :
  • Le plan de développement des compétences de votre entreprise : rapprochez-vous de votre service RH.
  • Le dispositif FNE-Formation.
  • L’OPCO (opérateurs de compétences) de votre entreprise.
  • Pôle Emploi sous réserve de l’acceptation de votre dossier par votre conseiller Pôle Emploi.
  • Le plan de développement des compétences de votre entreprise : rapprochez-vous de votre service RH.
  • Le dispositif FNE-Formation.
  • L’OPCO (opérateurs de compétences) de votre entreprise.
  • Pôle Emploi sous réserve de l’acceptation de votre dossier par votre conseiller Pôle Emploi.

Avis clients
4,1 / 5
Les avis clients sont issus des évaluations de fin de formation. La note est calculée à partir de l’ensemble des évaluations datant de moins de 12 mois. Seules celles avec un commentaire textuel sont affichées.
ALEXANDRE P.
25/04/22
3 / 5

Je pense que le distanciel nuit à l’équilibre théorie / pratique de cette formation.
GUILLAUME G.
25/04/22
3 / 5

Formateur avec une solide expérience et qui la transmet naturellement. Point d’amélioration : Mettre peut-être en place un projet fil rouge permettant de valider étape par étape les acquis théoriques.




Horaires
En présentiel, les cours ont lieu de 9h à 12h30 et de 14h à 17h30.
Les participants sont accueillis à partir de 8h45. Les pauses et déjeuners sont offerts.
Pour les stages pratiques de 4 ou 5 jours, quelle que soit la modalité, les sessions se terminent à 15h30 le dernier jour.