Accueil > Windows, Linux, Unix, Mac, IBM > Mettre en Oeuvre des Systèmes Temps Réel avec Linux
Formation #OS197

Formation Linux Embarqué et temps réel

Formation avec Restauration incluse
(Déjeuner, Petit Déjeuner et Pauses Cafés)

Durée : 4 jours

Code : OS197

Formation dans votre entreprise.

Durée : 4 jours

Code : OS197


Vous souhaitez réaliser cette formation en vos locaux avec le même programme ?

Vous souhaitez personnaliser le programme de cette formation pour qu'elle réponde aux spécificités de votre entreprise ?

Objectifs

  • Comprendre le fonctionnement bas-niveau de l’ordonnanceur Linux
  • Connaitre les outils de développement industriel sous Linux
  • Apprendre à accéder au développement temps réel strict avec l'extension LinuxRT ou Xenomai
  • Installer Xenomai pour le temps réel
Programme
1/ Architecture de Linux
  • Linux : Histoire. Gestion de version
  • Les diverses licences utilisées par Linux (GPL, LGPL, etc).Implications pour le développement industriel
  • Kernels et distributions Linux
  • Architecture et modularité de Linux
2/ Développement industriel sous Linux
  • Les outils de développement libres
  • Débogage, profiling et mise au point
  • Utiliser IDE Eclipse
  • Méthodes de compilation
  • Compiler et installer le noyau Linux
  • Compiler et utiliser les bibliothèques statiques et dynamiques
  • Créer et utiliser la chaîne de compilation croisée
  • Gestion de mémoire
  • Détection des fuites mémoire
  • Débordement de buffers
3/ Environnements restreints et systèmes embarqués
  • La problématique des systèmes embarqués
  • Contraintes matérielles, logicielles et opérationnelles
  • Choix d'un système d'exploitation embarqué
  • Générer un noyau réduit : options essentielles pour la réduction de taille
  • Bibliothèques système pour l'embarqué : Newlib, DietLibc
  • Outils de génération de chaînes de compilation croisée
  • Boot du noyau sur cible ARM
  • Préparer le système de fichiers
  • Fichiers spéciaux des périphériques
  • Applications et utilitaires à embarquer
  • Interface utilisateur
  • Interfaces graphiques optimisées (directfb, etc)
  • Chargeur de démarrage : Présentation et configuration
  • Débogage à distance sur la cible
  • Configurer l'Eclipse
4/ Multitâche sous Linux, temps réel souple
  • Problèmes temps-réel classiques : Lancement de tâches en parallèle, Inversion de priorité, Reprise de mutex
  • Création de processus et de threads temps-réel
  • Files de messages Posix, mémoire partagée et sémaphores
  • Mesures horaires et des attentes
  • Ordonnancement temps-partagé et priorités des processus
  • Mesure de précision des timers
  • Le fonctionnement général de l'ordonnanceur
  • Effet de la préemptibilité du noyau sur la latence des interruptions
  • Examen d’inversion de priorité. Héritage de priorité. Test de reprise de mute
  • Principes du temps réel souple Posix1b
  • Principes, configuration de l'ordonnancement
  • Limites du temps-réel sous Linux standard
  • Améliorations avec patch Linux-RT
  • Problèmes algorithmiques liés au temps-réel et solutions
5/ Temps réel strict : Extension Xenomai
  • Concepts de temps-réel strict
  • Présentation de l'extension Xenomai
  • Installer Xenomai
  • Utiliser l'extension LinuxRT
  • Ordonnancement temps réel strict en mode utilisateur
  • Interruptions (activation, désactivation...)
  • Protection contre les interruptions
  • Gestion des communications
  • La gestion des tâches temps réel strict
6/ Personnalisation du boot du système
  • Les différentes phases de boot du noyau
  • Divers systèmes d'initialisation (busybox init, system V init, systemd)
  • Le contenu du processus Init
  • Le remplacement du processus Init par une version personnalisée
  • Initialisation depuis l'espace utilisateur
Approche Pédagogique

Approche Pédagogique

  • Pédagogie très opérationnelle fondée sur l'alternance entre théorie et pratique
  • Cas pratiques
  • Remise d’outils
  • Echanges d’expériences
Public Cible

Personnes Visées

  • Développeurs Linux/Unix