Accueil > Formations > Systèmes Embarqués & IoT > Ingénierie & Développement Embarqué > Linux Temps réel : approfondissement
Formation Linux Temps réel : approfondissement
Complétez vos compétences en Linux embarqué avec la formation Linux temps réel !
Vue d'ensemble
Avoir suivi notre Formation Linux embarqué ou niveau équivalent
Objectifs pédagogiques
Programme détaillé
Chapitre introductif
Rapide retour sur les systèmes Linux embarqués
Le temps réel : enjeux, problématiques et évolutions
Principes du fonctionnement en mono tâche
Scruter les événements
Gérer les interruptions dues aux exceptions (synchrones)
Gérer les interruptions à causes externes (asynchrones)
Protéger les structures de données
Comprendre les limites du monotâche
Principes du fonctionnement en multitâche
Notion de temps partagé
Multitâche en temps partagé (ou pseudo-parallélisme)
Gérer la commutation de contexte dans un système multitâche
Gérer une mémoire paginée
Optimiser avec une unité de gestion mémoire (MMU)
Gestion de l’exécution ordonnée des tâches
Notions théoriques de l’ordonnancement
Utiliser des algorithmes à priorité statique
Utiliser des algorithmes à priorité dynamique
Notion de tâche apériodiques et tâches sporadiques
Traiter des tâches apériodiques
Méthodes de partage des ressources
Ajouter des contraintes de précédence à l’ordonnancement des tâches
Gérer l’accès simultané à une même donnée (accès concurrent)
Résoudre les problèmes liés au partage de ressources
Panorama des solutions de gestion des accès concurrents
OS Temps Réel : architecture
Comprendre les enjeux et les problématiques des RTOS (Real Time Operating Systems)
Systèmes symétriques et asymétriques : principes et implications
Utiliser des horloges de haute précision
Utiliser le Low Latency Kernel
Virtualiser avec un hyperviseur pour système embarqué
Utilisation du patch RT-Preempt
Prochaines sessions
Ils nous font confiance
Cette année notre filière Administration Systèmes Unix/Linux a accompagné plus de 51 entreprises dont :
Avis des participants
Globalement, j'ai trouvé cette formation très intéressante et enrichissante. Le contenu était pertinent et m'a permis de mieux comprendre plusieurs notions de Linux. Le formateur était disponible et prenait le temps de répondre aux questions, ce qui a rendu les échanges agréables.
Formation LPIC-101 très enrichissante. Le formateur est clair, compétent et possède une grande expérience terrain. J’ai beaucoup appris tout au long de la formation. C’était vraiment agréable de suivre les cours avec lui. A très bientôt
J'ai tendance a avoir la concentration qui saute quand les sujet s'allonge trop ou que le ton est trop monotone. Sinon parfait, bon formateur, rien a redire
Le formateur est passionné, la formation est plus qu'agréable.
Formateur agréable et a l'écoute
Votre formateur
Christophe B.
Formateur Linux
Christophe intervient sur des formations portant sur l’ingénierie et le développement embarqué. Parmi les formations qui lui sont confiées figurent notamment « Yocto » et « Langage C ». Son activité de formation remonte à 2002, soit plus de 20 ans d’expérience.
Financement
Cette formation est éligible aux financements OPCO et FNE-Formation. Nos équipes vous accompagnent dans le montage de votre dossier.
Questions fréquentes
Combien de temps dure la formation Linux Temps réel : approfondissement ?
Cette formation se déroule sur 2 jours.
Quels sont les prérequis pour suivre la formation Linux Temps réel : approfondissement ?
Avoir suivi notre Formation Linux embarqué ou niveau équivalent
Quel est le prix de la formation Linux Temps réel : approfondissement ?
En inter-entreprises, elle est à 1 500 € HT par participant ; en intra-entreprise, elle est à 3 700 € HT pour le groupe. Un tarif sur-mesure est également disponible sur devis.
La formation Linux Temps réel : approfondissement délivre-t-elle une certification ?
Cette formation ne délivre pas de certification. Une attestation de fin de formation vous sera remise à l'issue de la session.
La formation Linux Temps réel : approfondissement est-elle éligible à un financement OPCO ?
Oui, cette formation est éligible aux financements OPCO et FNE-Formation. Nos équipes vous accompagnent dans le montage de votre dossier.
Choisissez votre formation
Mon contact chez SPARKS est professionnel et très réactif. Les échanges sont simples, efficaces, et la collaboration se déroule dans d'excellentes conditions.
