industriel, temps réel et embarqué


Vous découvrirez dans cette formation l'architecture générale d'un système embarqué et mettrez en oeuvre les outils de développement industriel disponibles librement sous Linux. Vous implémenterez les mécanismes d'ordonnancement temps partagé et réel souple, vous accéderez au développement temps réel strict avec l'extension LinuxRT ou Xenomai. Vous verrez enfin comment personnaliser le boot d'un système Linux.

Pré-requis :


Bonnes connaissances d'un système Linux/Unix et de la programmation en C.

Objectifs :


Découvrir les outils de développement industriel sous Linux Maîtriser les mécanismes d'ordonnancement temps partagé et réel souple Accéder au développement temps réel strict avec l'extension LinuxRT ou Xenomai Personnaliser le boot d'un système Linux

Certification


Architecture

  • Système informatique ordinaire et système embarqué.
  • Contraintes d'un système embarqué.
  • Architecture générale d'un système embarqué.
  • Démarrage du système, étape de boot.
  • Architecture du noyau Linux. Emplacement des sources.
  • Démarrage du système, phases de boot (code dépendant, commun).

Développement industriel sous Linux

  • Environnement Linux.
  • Mode de fonctionnement : utilisateur, superviseur.
  • Licences et implications pour le développement industriel.
  • Outils de développement libres (compilateur, debugger, outils d'analyse, de trace et de tests).
  • Les différents IDE (Integrated Development Environment) : Eclipse, ...
  • Méthodes de compilation avancées.
  • La chaîne de compilation croisée.
  • La gestion de mémoire.
  • La détection des fuites mémoire.
  • Le débordement de buffers.

Ordonnancement temps partagé et réel souple

  • Précision des mesures horaires et des attentes.
  • Ordonnancement temps partagé. Les règles de la préemptibilité.
  • Le fonctionnement général de l'ordonnanceur, priorités et partage du CPU.
  • Quand le noyau devient-il préemptible ?
  • Gestion du temps et précision des timers.
  • Temps réel souple Posix.1b : principes.
  • Configuration de l'ordonnancement des processus et des threads.
  • Problèmes algorithmiques liés au temps réel.
  • L'ordonnanceur Linux : noyaux 3.x

 

Temps réel strict - Extension Xenomai

  • Principe du temps réel strict.
  • Vue d'ensemble de l'extension Xenomai.
  • Concepts de temps réel strict : principe des micro-noyaux Adeos, Xenomai, LinuxRT.
  • Installation et API de Xenomai.
  • Utilisation de l'extension LinuxRT.
  • Ordonnancement temps réel strict en mode utilisateur.
  • Interruptions (activation, désactivation, ...).
  • Protection contre les interruptions.
  • Gestion des communications.
  • Présentation de l'API de Xenomai, installation de Xenomai.
  • La gestion des tâches temps réel strict.

Environnements restreints, systèmes embarqués

  • Problématique des systèmes embarqués.
  • Système LinuxRT, Xenomai : API, développement.
  • Linux embarqué : choix d'une version du noyau.
  • Bibliothèques système (Newlib, DietLibc).
  • Applications et utilitaires à embarquer.
  • Interface utilisateur.
  • Interfaces graphiques optimisées (directfb, etc).
  • Présentation et configuration d'un chargeur de démarrage.
  • Générer un noyau réduit. Généralité sur le système de fichiers.
  • Installation de la chaîne de compilation.

Personnalisation du boot du système

  • Les différentes phases de boot (mise sous tension, Bios, chargeur (Grub, UBoot...) du noyau.
  • Le rôle du processus Init. Le niveau d'exécution.
  • Le contenu du processus Init.
  • Le remplacement du processus Init par une version personnalisée.
  • Initialisation depuis l'espace utilisateur.

 

Formation Au Distribution

- Debian, Administration
- Red Hat, administration

Autre Formation Linux

- Déploiement Et Industrialisation
- Cluster, Haute De disponibilité Et Répartition De Charges
- Administration Avancée
- Drivers Et Programmation Noyau
- Maintenance Et Dépannage De Serveurs
- Services Réseaux
- Maîtriser Les Outils Et Utilitaires
- Développement Système
- Virtualiser Vos Systèmes Avec KVM

Création site internet : Mg Formation