Formation Real-time Linux | Ac6 Formation

ac6-formation, un département d'Ac6 SAS
FR
✓FrançaisEnglish
 
go-up

ac6 › ac6-formation › Systèmes d'Exploitation › Linux › Real-time Linux
Renseignements
D4Real-time Linux
Real-time Linux with RT-Preempt patch and Xenomai

Objectives

  • Understand Real-Time programming
  • Discover the various solutions under Linux
    • The Preempt_RT patch
    • Xenomai
    • Real-Time drivers and networking with Xenomai
    • Programming with Xenomai
Labs are conducted on the PC or on ARM-based target boards (Quad Cortex-A9 Sabrelite boards from NXP)
We use the latest available kernel supported by Xenomai
  • A PC for two trainees, with Linux and Xenomai on a target board
  • Printed course material
  • Cours théorique
    • Support PDF (en anglais), imprimé en présentiel ; à distance via Teams.
    • Assistance du formateur tout au long de la formation.
  • Activités pratiques (40-50% de la durée)
    • Exemples de code, exercices et solutions.
    • À distance : un PC Linux en ligne par stagiaire, avec carte émulée ou physique selon le cours.
    • Présentiel / sur site : un PC (un par binôme au-delà de 6 stagiaires), carte cible et manuel d'installation si nécessaire.
  • Machine virtuelle préconfigurée téléchargeable pour refaire les TP après le cours.
  • Chaque session débute par un point avec les stagiaires.
  • Tout ingénieur ou technicien en systèmes embarqués possédant les prérequis ci-dessus.
  • Les prérequis sont évalués avant la formation.
  • Les progrès sont évalués par le formateur via les exercices pratiques, et par des quizz pour les sections sans exercices.
  • Chaque stagiaire reçoit une attestation de réussite.
  • En cas de prérequis manquant, une formation différente ou complémentaire est proposée.

Plan du cours

  • Linux
    • History
    • Version management
  • The various licenses used by Linux (GPL, LGPL, etc)
  • Linux distributions
  • Linux architecture and modularity
Exercise :  Boot Linux automatically starting a user application
  • Linux kernel parameters
  • The Linux startup sequence
  • Various initialization systems (busybox init, system V init, systemd)
  • Automatically starting an embedded system
Exercise :  Boot Linux automatically starting a user application
  • Downloading stable source code
    • Getting a tarball
    • Using GIT
  • Configuring the kernel
  • Compiling the kernel and its modules
    • The Linux build system
    • Modules delivered in-tree
    • Out-of-tree modules
  • Installing the kernel and the modules
  • The Linux Device Tree
Exercise :  Configuring and compiling a target kernel for the target board
  • Scheduling
  • Threads
    • Definition of a thread
    • POSIX threads
  • Synchronization and communication primitives
    • Mutexes and Condition Variables
    • Barriers
    • Semaphores
    • Message queues
  • Thread-specific Data
Exercise :  Implement a multi-threaded server
  • Classic real-time problems
    • Dead-Locks
    • Live-Locks
    • Priority Inversion
Exercise :  Solve the Readers-Writer problem
  • The Kernel tracing infrastructure
    • Tracepoints
    • The ftrace function tracer
    • Kprobes
    • Event tracers
  • Performance monitoring in the Linux kernel
    • Perfcounters
    • Perf events
  • Debugging the kernel using traces
  • LTTng
Exercise :  Trace context switches and measure latency times
Exercise :  Use LTTng to trace multi-task context switches
  • The specificities of Real-Time
  • Why Linux is not Real-Time
  • Configuration Options in Vanilla Kernel
  • The Preempt_RT patch
  • The co-kernel approach
Exercise :  Install Preempt_RT and check the effect on latencies
  • Architecture
    • Adeos
    • Skins
    • Shadow Threads and Scheduling Domains
  • Xenomai Schedulers
    • The Real-Time class schedulers
    • The Weak class schedulers
  • Configuring Xenomai
Exercise :  Install Xenomai
Exercise :  Cross-compile an application for Xenomai
  • The Xenomai Skins
    • POSIX
    • RTDM
  • Specificities of the POSIX skin
  • Programming RTDM drivers
    • Creating a kernel module
    • Integration in the Linux Device Model
  • Xenomai traces
  • Porting to Xenomai
Exercise :  Identify and Debug Spurious Relax problems
Exercise :  Port an application on Xenomai and test real-time characteristics
Exercise :  Write a simple RTDM driver
  • Overview of RTNet
    • Architecture
    • Non-determinism of Ethernet
    • Time Division Multiple Access
  • Configuration
  • Network Programming with RTNet
Exercise :  Add RTNet support to the Xenomai kernel
Exercise :  Test using udp client and server
Durée
4 jours
Renseignements

Ce cours peut être organisé sur demande. Cliquez sur le bouton 'Renseignements' pour nous contacter.

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 : 20 mai 2026

L'inscription à nos formations est soumise à nos Conditions Générales de Vente

Cours associés