Formation Linux Temps Réel : perfectionnement

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