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 Ingénierie & Développement Embarqué a accompagné plus de 1 entreprise dont :
Avis des participants
La formation correspondait parfaitement à mes attentes. J’ai appris énormément de choses sur les systèmes embarqués ainsi que sur l’utilisation de Rust en environnement contraint. Les supports pédagogiques sont clairs et le formateur est excellent. Les travaux pratiques sont très bien dosés, tant en termes…
Michaël Grand a fait part d'une grande pédagogie et d'une très bonne écoute. Il a su également adapter la formation en fonction de certains de nos besoins particuliers. Instructif et pertinent.
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.