Formation Hyperviseurs et Linux temps réel Choisir entre KVM, Xenomai, Linux-RT, Jailhouse et L4

Durée 5 jours
Niveau Avancé
Classe à distance
Possible

Vous pouvez suivre cette formation en direct depuis votre domicile ou votre lieu de travail. Plus d'informations sur notre solution de classe à distance...

Référence HLTR
Éligible CPF Non

Chaque jour LINUX est embarqué dans de nouvelles plateformes, téléphones portables, télévisions, systèmes de surveillance ou systèmes d'acquisition, spatial, automobile et aéronautique, IoT, pour lesquelles se posent souvent la problématique d'ajouter une application à la fois critique et temps réel.

Si le déterminisme offert par LINUX peut suffire pour des applications multimédia, celui-ci est incapable de fournir le déterminisme nécessaire à des applications avec de fortes contraintes temps réel.

Lorsqu'à cette problématique s'ajoute celle de la sécurité et de l'isolement d'une application critique, une solution basée sur un hyperviseur est souvent envisagée.

Cette formation présente les différentes solutions logicielles disponibles pour assurer un temps de réaction déterministe à une application, pour sécuriser cette application tout en permettant l'utilisation des nombreuses applications généralistes de Linux et enfin de permettre la certification de l'application temps réel.

Objectif opérationnel :

Comprendre et mettre en œuvre les technologies de co-noyau, de partitionnement et d'hyperviseur temps réel.

Objectifs pédagogiques :

A l'issue de cette formation, vous aurez acquis les connaissances nécessaires pour :

  • Comprendre les différentes solutions qui se présentent à vous
  • Mettre en œuvre une solution de cloisonnement par hyperviseur ou containers (KVM, docker)
  • Mettre en œuvre une solution temps réel avec un co-noyau (RTAI ou Xenomai)
  • Mettre en œuvre une solution hyperviseur temps réel (L4, Xtratum, Xen)
  • Mettre en œuvre une solution de partitionnement matériel (Jailhouse)

Public :

Ce cours cible principalement les profils de développeurs, ingénieurs, chefs projet de projet qui souhaitent acquérir une formation complète et opérationnelle sur la mise en œuvre de LINUX dans un système embarqué avec à la fois des besoins temps réel, une criticité et l'utilisation des applications Linux.

Cette formation s’adresse aussi aux managers qui souhaitent acquérir une première expérience pratique de la mise en œuvre de solutions temps réel bénéficiant des nombreuses applications générales de LINUX et de ses applications réseau.

Prérequis :

Pour suivre ce cours il est préférable de connaître le langage C, utilisé lors de tous les exercices de programmation, et d'avoir une connaissance minimale du SHELL de LINUX qui sera utilisé pour les exercices à la fois sur l'ordinateur de travail et sur les système embarqué construit pendant la session.

Jour 1

LINUX

ArchitecturesNous énumérons les différentes architectures matériel permettant d'allier LINUX et le temps réel.Linux et le temps réelNous effectuons un rappel sur les problèmes posés aux applications temps réel par l'architecture de LINUX.La solution LINUX-RTNous effectuons une étude de LINUX-RT, ses implications et sa mise en œuvre.Travaux PratiquesApplication du patch LINUX-RT et mesure de latence et de jitter dans le système de développement et sur la cible. Jour 2

Co-Noyau

RT-LINUX, RTAI, XenomaiPrésentation des patch RT-LINUX et ADEOS à la base des co-noyaux temps réel de LINUX.ADEOSNous utilisons d'ADEOS dans un but de mesures et d'estampilles.XenomaiAprès l'étude de Xenomai nous l'installons sur la cible pour effectuer des mesures.Travaux PratiquesApplication du patch XENOMAI et mesures de latence et de jitter dans le système de développement et sur la cible. Jour 3

Virtualisation par containers et hyperviseurs

Présentation théoriqueNous nous intéresserons aux principes de base de la virtualisation, aux définitions et à la théorie des hyperviseurs.DockerNos examinons l’intérêt d'une solution de virtualisation par containers permettant de garantir l’étanchéité entre LINUX et l'application temps réel.QEMU/KVMQEMU/KVM est l'hyperviseur le plus utilisé sous LINUX et nous examinerons la possibilité de l'utiliser dans une application temps réel.Travaux PratiquesMise en œuvre de différentes solutions de virtualisation sous LINUX, docker, QEMU et mesures de latences et de jitter. Jour 4

Hyperviseurs temps réel

PrésentationNous étudions les différents types d'hyperviseurs avec une garantie de déterminisme.XENXEN est un hyperviseur plus souvent utilisé pour la sécurité de fonctionnement que pour le temps réel. Il possède cependant certaines particularités intéressantes.L4L4 est l'hyperviseur à la base de pikeOS qui est utilisé en avionique et dans l'automobile et de OK-L4 utilisé dans la téléphonie. il es libre de droit et nous l'examinons en détail.Xtratum, Xhyp et autres hyperviseurs temps réelXtratum utilisé par le CNES dans le spatial et l'automobile propose une solution alternative fonctionnant sur LEON.Travaux PratiquesMise en œuvre de L4 et mesures de jitter et de latences, étude et mise en œuvre de Xhyp. Jour 5

Partionneur

JailhouseNous examinons Jailhouse qui est un outil de partitionnement statique de cœurs piloté depuis Linux.ConclusionsNous Revenons sur les différentes solutions utilisées lors de la session pour en dresser les avantages et les inconvénients.Travaux PratiquesMise en œuvre de Jailhouse avec mesures de latence et de jitter.

Cette formation propose une alternance de pratique et de théorie (50% / 50%) pour une meilleure assimilation des connaissances.

Date de mise à jour du programme : 19/03/2024

Dates et lieux

Du 27 au 31 mai 2024
Lieu
Distanciel
Durée
5 jrs
2990 € HT
Du 27 au 31 mai 2024
Lieu
Paris
Durée
5 jrs
2990 € HT
Du 30 septembre au 04 octobre 2024
Lieu
Distanciel
Durée
5 jrs
2990 € HT
Du 30 septembre au 04 octobre 2024
Lieu
Paris
Durée
5 jrs
2990 € HT
Du 02 au 06 décembre 2024
Lieu
Distanciel
Durée
5 jrs
2990 € HT
Du 02 au 06 décembre 2024
Lieu
Paris
Durée
5 jrs
2990 € HT


Formations Informatique
et Management
en ligne à ce jour

+
Stagiaires dans nos salles
de cours sur
l'année

%
De participants satisfaits
ou très satisfaits de nos
formations


Formateurs experts
validés par
PLB