Linux embarqué

Hyperviseurs et Linux temps réel

35 heures 0 mins

Linux embarqué

Objectifs pédagogiques

  • 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

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.
MOYENS PÉDAGOGIQUES ET TECHNIQUES D’ENCADREMENT DES FORMATIONS

Modalités pédagogiques :

  • Évaluation des besoins et du profil des participants.
  • Apport théorique et méthodologique : séquences pédagogiques regroupées en différents modules.
  • Contenus des programmes adaptés en fonction des besoins identifiés pendant la formation.
  • Le formateur évalue la progression pédagogique du participant tout au long de la formation au moyen de travaux pratiques, étude de cas et mise en situation.
  • Méthodes expositive, active et participative.
  • Réflexion et échanges sur cas pratiques.
  • Retours d'expériences.
  • Corrections appropriées et contrôles des connaissances à chaque étape, fonction du rythme de l’apprenant mais également des exigences requises au titre de la formation souscrite.

Éléments matériels :

  • Mise à disposition des outils nécessaires au bon déroulement des travaux pratiques.
  • Support de cours au format numérique projeté sur écran et transmis au participant en fin de la formation.

Référent pédagogique et formateur :

  • Chaque formation est sous la responsabilité du directeur pédagogique de l’organisme de formation.
  • Le bon déroulement est assuré par le formateur désigné par l’organisme de formation.
MOYENS PERMETTANT LE SUIVI ET L’APPRÉCIATION DES RÉSULTATS
  • Feuilles de présences signées des participants et du formateur par demi-journée.
  • Attestation de fin de formation mentionnant les objectifs, la nature et la durée de l’action et les résultats de l’évaluation des acquis de la formation.
Please login to get access to the quiz
Linux industriel, temps réel et embarqué (Prev Lesson)
Back to Linux embarqué
Public

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.

Vérifiez que vous avez les prérequis nécessaires pour profiter pleinement de cette formation en effectuant le test disponible en bas de cette page.

Lieu de formation

Intra-entreprise/à distance

Dates ou période

À définir. Nous consulter

Tarif

Sur devis. Merci de nous contacter

Modalités

Pour s’inscrire à notre formation, veuillez nous contacter par mail ou téléphone.

Démarrage de la formation sous deux semaines (délai indicatif).

Nous contacer
training@profind.fr
Informations complémentaires

Pour toute réclamation, aléas ou difficultés rencontrés pendant la formation, veuillez prendre contact avec notre organisme par téléphone ou par e-mail. Nous mettrons tout en œuvre pour trouver une solution adapter.

Formation synchrone, réalisée à distance en visioconférence via l’application Microsoft Teams ou en présentiel dans les locaux du client.

Sur le même thème