Formation Rust pour l'embarqué

L'apprentissage s'effectue, pour chaque module, à 60% par des exercices pratiques et à 40% par des présentations. A la fin de la formation, les stagiaires sont autonomes dans leurs développements dans ce langage et seront capables de :

• Ecrire du code Rust pour des environnements contraints (no-std, sans allocation, etc.)
• Structurer un projet Rust pour l'embarqué
• Ecrire du code Rust pour l'embarqué
• Structurer un projet Rust pour un module du kernel Linux
• Ecrire du code Rust pour le kernel Linux

Ce cours s’adresse aux structures souhaitant former leurs équipes techniques au développement en Rust pour les domaines de l'embarqué.

• Connaissances de base en développement.
• Environnement Unix / Linux.
• Connaissances de base en Rust.

L'apprentissage s’effectue, pour chaque module, à 60% par des exercices pratiques et à 40% par des présentations. Plusieurs modalités pédagogiques sont mises en place en fonction du niveau des participants et de la taille du groupe : exercices pratiques, discussions guidées, le codéveloppement, le coaching individuel etc. Un ou plusieurs projets à réaliser en autonomie sont proposés dans l'objectif de consolider les connaissances apprises. La validation des acquis et l'évaluation est faite par le formateur tout au long de l'apprentissage (travail sur des cas pratiques, quiz).

Cette formation peut être réalisée en présentiel ou à distance. Le délai d'accès estimé pour cette formation est de maximum un mois.

Avant la formation

• Entretien ou questionnaire pour identifier les attentes et besoins.
• Envoi des éléments administratifs : convention, livret d’accueil et règlement intérieur.
• Envoi des ressources et des instructions pour le bon déroulement de la séance.

Pendant la formation

• Le stagiaire se présente à la formation avec son ordinateur personnel.
• Évaluation tout au long de la formation (mise en situation, quiz, interrogation)

A la fin de la formation

• Remise d’une attestation de formation
• Questionnaire d’auto-évaluation
• Questionnaire de satisfaction permettant d’évaluer la formation

Après la formation

• Questionnaire de satisfaction à froid (à 3 mois de la formation)

Pour toutes nos formations, nous réalisons des études préalables pour adapter les locaux, les modalités pédagogiques et l’animation de la prestation en fonction de la situation de handicap annoncée. Nous sommes à votre écoute pour toute question ou besoin spécifique, contactez-nous : formation@cenotelie.fr

001 - Introduction

• Révision des connaissances Rust de base

002 - Programmation en environnement contraint

• Programmation no-std
• Compatibilité no-std des librairies
• Programmation sans allocateur/allocation
• Écriture du panic handler
• Écriture d'un allocateur

003 - Cibles embarquées

• Chaîne pour cross compilation
• Debugging
• HAL
• Interruptions

004 - Programmation asynchrone embarquée

• Runtimes asynchrones dans l'embarqué
• Spécificités pour l'embarqué du code Rust asynchrone

005 - Rust pour le noyau Linux

• Écrire un module kernel Linux en Rust
• Mise en place projet
• Chaîne de compilation

Laurent Wouters est cofondateur de Cénotélie et chercheur. Laurent pratique le langage Rust au quotidien depuis plusieurs années, notamment dans le cadre du développement d'une plateforme en ligne pour le suivi de la croissance des cultures agricoles sur la base de l'analyse d'images satellite. Il s'agit d'un produit industriel complexe, dont tous les composants côté serveur sont écrits en Rust. Pour un aspect plus visible, Laurent participe à Hime, dont une version du runtime est écrite en Rust.

Laurent détient un titre de doctorat en Théorie des langages. Durant ses activités de recherches il s'est passionné à comprendre comment les languages et la sémantique peuvent améliorer les pratiques de collaboration et l'ingénierie des systèmes complexes. Par ailleurs, il a participé à l'encadrement de plusieurs travaux de stage et de thèse. Avant de devenir un formateur professionnel, il s'est forgé une expérience en tant qu'enseignant dans plusieurs grandes universités parisiennes, dont l'Ecole Centrale de Paris.