Linux en milieu industriel
Code |
Titre |
Durée |
Prix HT |
LX600 |
Linux en milieu industriel |
5 jours |
Nous consulter |
Objectifs
- Découvrir les principes du développement de systèmes industriels
embarqués et / ou temps réel basés sur le système d'exploitation Linux.
- Apprendre les bonnes pratiques en matière de développement industriel, en particulier dans le contexte aéronautique.
- Apprendre les mécanismes fondamentaux du système Linux, être capable de
les configurer et de réaliser un système sur mesure en fonction de
contraintes industrielles.
|
Public
Développeurs systèmes et architectes de systèmes embarqués ou temps réel. |
Pré-requis
Bonne compétence de développement en langage C. Une première expérience du développement système est souhaitable. |
Post-Formation
|
Méthodes
50% Pratique 50% Théorique |
Programme
Développement sous Linux- Introduction
- Architecture du système Linux
- Les différents noyaux, les licences libres
- Les outils de développement, gcc/gmake, cross compilation, eclipse CDT
- La compilation d'un noyau
- Principe de travail, précautions essentielles
- Quelles sources utiliser, téléchargement
- Mise en place de la plateforme de travail
- Configuration des options
- Compilation, test et benchmarkage du résultat
- Les modules dynamiques et statiques
- Le boot du système
- Principe du démarrage du système linux. Lilo/grub, le process boot, le disque initrd, init
- Création et paramétrage d'un initrd sur mesure
- Paramétrage des services démarrés par init
- Personalisation du démon init
- Les services
- Généralités sur les services linux
- Les librairies partagées
- Identifier les dépendances, ldd
- Configurer le fonctionnement des services Linux
Linux embarqué- Présentation des contraintes
- Les différents domaines d'application, les différents périmètres de systèmes
- Embarqué restreint, embarqué sans interface ou OS promable
- Les noyaux embarquables du marché
- Méthodologie de travail pour la réalisation d'un OS embarqué
- Le système uCLinux
- Présentation générale, architecture
- Les différents portages de uCLinux, les matériels supportés
- Les librairies, applications et chaînes de développement disponibles
- Le système Android
- Présentation, architecture et fonctionnalités
- La chaîne de développement ADT et le SDK
- L'API Android
- Développement d'une application
- Le débuggage de l'application
Linux temps réel- La problématique du temps réel
- Notion de temps réel, criticité du temps, le temps réel strict et le temps réel mou
- Les différentes catégories de contraintes
- Pourquoi Linux n'est pas un OS temps réel, fonctionnement du scheduler et des ISR
- Les différentes approches de noyau temps réel basées sur Linux
- Le patch Linux RT
- Les différentes versions, les acteurs
- Principe du patch temps réel. La latence, le scheduler TR
- L'API temps réel
- Développement d'un driver temps réel: contraintes et précautions
- Le système RTAI
- Principe de fonctionnement
- Téléchargement, configuration patch et construction du noyau
- L'API des schedulers, des tâches TR et des timers
- La spécification ARINC 653
- L'architecture IMA, les raisons de la révolution
- Le principe du partitionnement
- Le détail de la spécification
- La certification: DO-178B, DO-254
|
Environnement
|
Mot-clés
LX600_Linux-milieu-industriel_LX600 |
Commander
Formafast
Rue du Lac Windermere, Byzance Center, Bloc A - 1053 Les Berges du Lac - Tunisie
Tel: (+216) 31 400 501
Fax: (+216) 32 400 501
Mobile: (+216) 55 666 600
E-mail: contact@formafast.com