Formation Linux - Temps-Réel et Embarqué

Formation créée le 07/07/2023. Dernière mise à jour le 06/11/2024.
Version du programme : 1

Type de formation

Formation mixte

Durée de formation

28 heures (4 jours)

Accessibilité

Oui
Cette formation est gratuite.
S'inscrire
Besoin d’adapter cette formation à vos besoins ? N’hésitez pas à nous contacter afin d’obtenir un devis sur mesure ! Nous contacter

Formation Linux - Temps-Réel et Embarqué


Version PDF

Objectifs de la formation

  • Cette formation Linux embarqué vous permettra de: - Découvrir l'ensemble des outils de développement industriel disponibles librement sous Linux, - Disposer de méthodes pour déployer Linux sur des systèmes embarqués en équilibrant les performances et l'occupation mémoire, - Maîtriser les algorithmes d'ordonnancement temps-partagé ou temps-réel souple, les mécanismes de communications entre processus, les options de configuration de la mémoire virtuelle, - Accéder au développement temps-réel strict en utilisant des extensions comme Linux-RT ou Xenomai.

Profil des bénéficiaires

Pour qui
  • Développeurs en environnement LINUX.
Prérequis
  • Les participants doivent disposer d'une bonne connaissance d'Unix ou de Linux et d'une bonne maîtrise de la programmation en C.

Contenu de la formation

Développement industriel sous Linux
  • Environnement Linux :
  • Linux et les logiciels libres.
  • Licences GPL, LGPL, BSD... et implications pour le développement industriel.
  • Kernels et distributions Linux.
  • Outils de développement libres :
  • Environnements intégrés, éditeurs de textes, outils de compilation et Makefile.
  • Débogage, profiling et mise au point.
  • Utilisation de l'environnement Eclipse avec le plug-in CDT :
  • Création de projet, aide en ligne, indexation.
  • Débogage classique, post-mortem, et d'application en fonctionnement.
  • Compilation et installation du noyau Linux 3.x
  • Compilation et utilisation de bibliothèques statiques et dynamiques.
  • Création et utilisation d'une chaîne de compilation croisée.
Environnements restreints et systèmes embarqués
  • Problématique des systèmes embarqués.
  • Contraintes matérielles, logicielles et opérationnelles.
  • Choix d'un système d'exploitation embarqué.
  • Préparation d'un noyau linux embarqué : options essentielles pour la réduction de taille. Système de fichiers. Bibliothèques système pour l'embarqué. Compilation croisée du noyau.
  • Boot du noyau sur cible ARM.
  • Préparation du système de fichiers.
  • Fichiers spéciaux des périphériques.
  • Processus init.
  • Applications et utilitaires à embarquer.
  • Débogage à distance sur la cible.
  • Configuration d'Eclipse.
Multitâche sous Linux, temps-réel souple
  • Processus et threads :
  • Création, terminaison, attente, synchronisation (mutex et variables conditions).
  • Communication entre processus : files de messages Posix, mémoire partagée et sémaphores.
  • Mesures horaires et des attentes: fonctionnement périodique (timers).
  • Ordonnancement temps-partagé et priorités des processus.
  • Préemptibilité du noyau 3.x
  • Temps-réel souple Posix.1b :
  • Principes, configuration de l'ordonnancement.
  • Processus et threads.
  • Limites du temps-réel sous Linux standard. Améliorations avec patch Linux-RT.
  • Problèmes algorithmiques liés au temps-réel (synchronisation, inversion de priorité, etc.) et solutions.
Temps-réel strict - Extensions Xenomai
  • Concepts de temps-réel strict : Principe des micro-noyaux RT-Linux, RTAI, Adeos, Xenomai, LXRT.
  • Installation et API de Xenomai :
  • Création de tâches simples et périodiques
  • Attentes actives et mises en sommeil ;
  • Timers temps-réel.

Équipe pédagogique

Votre instructeur est un consultant/formateur certifié avec plus de 10 d'expériences pédagogiques et techniques.

Suivi de l'exécution et évaluation des résultats

  • Feuille de présence signée en demi-journée, Évaluation des acquis tout au long de la formation, Questionnaire de satisfaction, Attestation de stage à chaque apprenant.

Ressources techniques et pédagogiques

  • Moyens pédagogiques : Réflexion de groupe et apports théoriques du formateur, Travail d'échange avec les participants sous forme de réunion-discussion, Utilisation de cas concrets issus de l'expérience professionnelle, Validation des acquis par des questionnaires, des tests d'évaluation, des mises en situation et des jeux pédagogiques, Remise d'un support de cours.
  • Moyens techniques en Présentiel : Accueil des stagiaires dans une salle dédiée à la formation, équipée d'ordinateurs, d'un vidéo projecteur d'un tableau blanc et de paperboard.
  • Moyens techniques en Distanciel : A l'aide du logiciel Teams, un micro et une caméra pour l'apprenant, Suivez une formation en temps réel et entièrement à distance. Lors de la classe en ligne, les apprenants interagissent et communiquent entre eux et avec le formateur. Les formations en distanciel sont organisées en Inter-Entreprise comme en Intra-Entreprise. L'accès à l'environnement d'apprentissage (support de cours, labs) ainsi qu'aux preuves de suivi et d'assiduité (émargement, évaluation) est assuré.

Qualité et satisfaction

Taux de satisfaction des apprenants par rapport à l'enseignement du formateur - 98% Taux de satisfaction générale (contenu de la formation, enseignement, environnement, accueil...) 93%

Modalités de certification

Détails sur la certification
  • Pas de certification

Capacité d'accueil

Entre 1 et 10 apprenants

Délai d'accès

3 semaines

Accessibilité

Les personnes atteintes de handicap souhaitant suivre cette formation sont invitées à nous contacter directement, afin d'étudier ensemble les possibilités de suivre la formation.