Linux temps réel
Objectifs
|
- Un PC pour deux stagiaires, avec Linux et Xenomai sur une carte cible
- Support de cours imprimé
- Maîtrise de la programmation applicative Linux (cours D0 - Programmation en mode utilisateur Linux)
- Connaissance du Linux embarqué (cours D1 - Linux embarqué avec Buildroot et Yocto)
- Pour RTDM, programmation de drivers Linux (cours D3 - Drivers Linux)
- Notions de programmation temps réel (cours RT1 - Programmation Temps-Réel et Multi-Cœurs)
- Tout ingénieur ou technicien en systèmes embarqués possédant les prérequis ci-dessus.
- Les prérequis sont vérifiés avant l'entrée en formation, sur la base des prérequis publiés sur cette fiche.
- Pendant la formation, les acquis sont évalués en continu : quiz de fin de séquence et observation directe du formateur.
- À l'issue de la formation, chaque participant reçoit une attestation de fin de formation.
Plan du cours
- Linux
- Historique
- Gestion des versions
- Les différentes licences utilisées par Linux (GPL, LGPL, etc)
- Les distributions Linux
- Architecture et modularité de Linux
- Paramètres du kernel Linux
- La séquence de démarrage de Linux
- Les différents systèmes d'initialisation (busybox init, system V init, systemd)
- Démarrer automatiquement un système embarqué
- Télécharger le code source stable
- Récupérer une archive tarball
- Utiliser GIT
- Configurer le kernel
- Compiler le kernel et ses modules
- Le système de build de Linux
- Modules livrés dans l'arbre des sources
- Modules hors arbre des sources
- Installer le kernel et les modules
- Le Device Tree de Linux
- Ordonnancement
- Threads
- Définition d'un thread
- Threads POSIX
- Primitives de synchronisation et de communication
- Mutex et variables de condition
- Barrières
- Sémaphores
- Files de messages
- Données propres à un thread
- Problèmes classiques du temps réel
- Interblocages
- Live-Locks
- Inversion de priorité
- L'infrastructure de traçage du kernel
- Tracepoints
- Le traceur de fonctions ftrace
- Kprobes
- Traceurs d'événements
- La mesure de performance dans le kernel Linux
- Perfcounters
- Perf events
- Déboguer le kernel à l'aide des traces
- LTTng
- Les spécificités du temps réel
- Pourquoi Linux n'est pas temps réel
- Options de configuration du kernel vanilla
- Le patch Preempt_RT
- L'approche par co-kernel
- Architecture
- Adeos
- Skins
- Shadow threads et domaines d'ordonnancement
- Les schedulers de Xenomai
- Les schedulers de classe temps réel
- Les schedulers de classe Weak
- Configurer Xenomai
- Les skins de Xenomai
- POSIX
- RTDM
- Spécificités de la skin POSIX
- Programmer des drivers RTDM
- Créer un module kernel
- Intégration dans le Linux Device Model
- Les traces Xenomai
- Porter vers Xenomai
- Présentation de RTNet
- Architecture
- Non-déterminisme d'Ethernet
- Time Division Multiple Access
- Configuration
- Programmation réseau avec RTNet
Plus d'information
Pour vous enregistrer ou pour toute information supplémentaire, contactez nous par email à l'adresse info@ac6-formation.com.
Les inscriptions aux sessions de formation sont acceptées jusqu'à une semaine avant le début de la formation. Pour une inscription plus tardive nous consulter
Vous pouvez aussi remplir et nous envoyer le bulletin d'inscription
Ce cours peut être dispensé dans notre centre de formation près de Paris ou dans vos locaux, en France ou dans le monde entier.
Les sessions inter-entreprises programmées sont ouvertes dès deux inscrits. Sous condition d'un dossier complet, les inscriptions sont acceptées jusqu'à une semaine avant le début de la formation.
Dernière mise à jour du plan de cours : 2 juillet 2026
L'inscription à nos formations est soumise à nos Conditions Générales de Vente
Sur le même sujet :
Yocto ou Buildroot : comment choisir pour votre projet Linux embarqué