Page 48 - Catalogue Formations 2024

NOUVEAU AVANCÉ
UTILISER LINUX COMME SYSTÈME ATELIER EN ANGLAIS
EN
TEMPS RÉEL (RTOS)
INTERNET DES OBJETS, SYSTÈMES CONNECTÉS ET LEURS APPLICATIONS FC9IO24 Pauses et déjeuners offerts DURÉE : 2 JOURS Du 30/05/2024 au 31/05/2024 à Paris
RÉALISABLE
PRIX : 2 250 €
DATES & LIEUX

Du 21/11/2024 au 22/11/2024 à Paris
PRÉSENTATION
PUBLIC/PRÉREQUIS
De nombreux projets industriels sont sous contraintes “temps réel”.
développeurs Linux embarqué, chefs
Des systèmes d’exploitation (RTOS = Real Time Operating Systems)
de projets Linux embarqué
proposent nativement ces fonctionnalités, ce qui n’est pas le cas de
Les participants doivent avoir une base
Linux. Après des rappels sur la notion de temps réel, nous verrons Public cible : développeurs RTOS,
technique assez solide en utilisation
quelles sont les solutions pour rendre le noyau Linux “préemptif”.
de Linux comme plateforme de
Nous étudierons les deux principales technologies disponibles, développement, utilisation du “shell”
PREEMPT_RT et Xenomai. Linux (bash) et un bon niveau en
Nous évaluerons les performances, étudierons l’API de développement langage C afin de pleinement profiter
d’applications (basée sur la norme POSIX), puis comment les mettre de la formation.
au point en utilisant l’outil Ftrace.
RESPONSABLE(S)
OBJECTIFS Laurent PAUTET
Enseignant-chercheur à Télécom Paris.
- Expliquer les principes en temps réel Chef d’équipe de recherche (ACES)
- Présenter la norme POSIX Systèmes embarqués autonomes et
- Exploiter l’ordonnancement Linux en mode “temps réel” (politique critiques. Ses recherches portent sur
POSIX “SCHED_FIFO”) les systèmes en temps réel, les plates-
formes déterministes et les processus
- Exploiter le patch PREEMPT_RT
de conception des systèmes critiques.
- Exploiter l’extension Xenomai
Celles de ACES concernent les systèmes
- Développer et mettre au point une application RT avec PREEMPT_RT et
concurrents, dont il faut garantir
Xenomai (API POSIX)
des propriétés non fonctionnelles
(performance, sécurité).
PROGRAMME Pierre FICHEUX
CTO de la division Smile ECS (Embedded
Introduction Programmation RT avec POSIX et travaux
& Connected Systems). Auteur de 5
pratiques
Présentation du temps réel - Principes de programmation RT livres sur Linux embarqué (éditions
Eyrolles, de 2002 à 2017) et de livres
- Qu’est-ce que le temps réel ? - Processus
- Préemption en mode temps réel - Threads blancs édités par Smile, consacrés aux
- Algorithme RMS (Rate Monotonic - Signaux logiciels open source pour l’embarqué
Scheduler) - Compteurs et horloges
et l’IoT (Linux embarqué, Android,
- Inversion de priorité (et héritage) - Sémaphores et Mutex Linux RT). Il enseigne également le
- Quelques exemples de RTOS - Conditions
développement des drivers Linux, Linux
- Présentation de la norme POSIX - Extensions POSIX pour le temps réel
- Profilage d’un programme temps réel embarqué et temps réel dans plusieurs
Utilisation de Linux pour RT avec Ftrace écoles d’ingénieurs.
- Linux et temps réel
- Correctifs hérités (« low-latency » et Programmation RT avec Xenomai et
« preempt-kernel ») travaux pratiques MODALITÉS
- PREEMPT_RT - Principes de programmation Xenomai
- Approche co-noyau (RTLinux, RTAI, - Notion de “personnalité” Xenomai (skin) PÉDAGOGIQUES
Xenomai) - Architecture et conception d’applications
- Développement de drivers temps réel Exposés théoriques et travaux pratiques
(RTDM) sur carte réelle simple à manipuler
(Raspberry Pi 3). Retours d’expérience
FORMATIONS INTER-ENTREPRISES SYSTÈMES EMBARQUÉS DU PROGRAMME EN LIGNE d’associer un TP à chaque concept
Synthèse et conclusion
d’experts dans l’industrie. Nombreuses
références bibliographiques.
La formation a le gros avantage
présenté. Elle est basée sur une
ACCÉDER À L’ENSEMBLE
machine virtuelle (VirtualBox) ce qui
garantit l’installation sur des PC Linux
ou Windows. Les TP sont réalisés sur
des cartes physiques (Raspberry Pi
3) permettant de mettre en place de
véritables contraintes temps réel. Les
images de test sont disponibles pour
Yocto et Buildroot, principaux outils
« build system » pour Linux embarqué.
48 contact.exed@telecom-paris.fr | executive-education.telecom-paris.fr | Appelez le 01 75 31 95 90