Formation Développement embarqué assisté par l’IA

Programme de notre formation Développement embarqué assisté par l’IA

[Jour 1 – Matin]

Assistants IA et rigueur embarquée

• Introduction à la formation et au projet fil rouge, un micrologiciel de pilotage de périphérique sur carte de développement
• Panorama des outils IA pour ingénieurs embarqués, assistants conversationnels, complétion, agents IDE et agents CLI
• Différences entre code compilable, conformité aux exigences et comportement correct sur le matériel cible
• Principes du prompting embarqué, contraintes mémoire, temporisation, interruptions et critères de réussite
• Méthodologie fondée sur les preuves, séparation des faits documentés, des hypothèses et des vérifications nécessaires
• Atelier pratique : Comparer deux propositions de code pour un périphérique, repérer les hypothèses matérielles et reformuler un prompt exigeant des preuves vérifiables.

[Jour 1 – Après-midi]

Spécifications et contexte matériel

• Développement piloté par les spécifications, comportements attendus, interfaces, limites et critères d’acceptation
• Rédaction d’un document de spécification fonctionnelle, états, erreurs, délais et exigences observables
• Exploitation des fiches techniques, manuels de référence, schémas de carte et errata du constructeur
• Lecture des fichiers CMSIS-SVD, registres, champs de bits et limites de leur description du comportement matériel
• Construction du contexte projet, référence exacte du composant, révisions documentaires, code existant et registre des hypothèses
• Atelier pratique : Rédiger la spécification du périphérique du projet fil rouge et constituer un dossier de contexte reliant chaque exigence à sa documentation matérielle.

[Jour 2 – Matin]

Assistants dans l'IDE et le terminal

• Configuration des assistants IDE et CLI, périmètre du dépôt, accès aux fichiers et approbation des commandes
• Instructions projet réutilisables, conventions de code, architecture, commandes de compilation et règles de validation
• Décomposition d’une demande en plan de modifications, tâches limitées et points de contrôle humains
• Génération et revue d’un pilote embarqué, initialisation, registres, types, accès mémoire et gestion des erreurs
• Exécution contrôlée des outils, lecture des différences Git et collecte des journaux de compilation
• Atelier pratique : Configurer un assistant dans l’IDE et le terminal, générer une modification limitée du pilote et vérifier ses changements avant compilation.

[Jour 2 – Après-midi]

Agents spécialisés et orchestration MCP

• Architecture du Model Context Protocol, hôte, clients, serveurs, ressources, outils et prompts
• Connexion contrôlée aux ressources du projet et aux outils de compilation ou de test, avec permissions minimales
• Conception d’un agent embarqué spécialisé, rôle, entrées, outils autorisés, livrables et conditions d’arrêt
• Création de skills réutilisables, instructions, scripts déterministes et modèles de compte rendu
• Orchestration multi-outils, enchaînement génération, compilation et tests, gestion des échecs et validation humaine avant chargement sur cible
• Atelier pratique : Configurer un agent spécialisé avec un serveur MCP local préparé et une skill de validation, puis vérifier ses permissions et ses comptes rendus sur le projet fil rouge.

[Jour 3 – Matin]

Validation du micrologiciel généré

• Construction d’une matrice exigences et tests, critères mesurables et indépendance des résultats vis-à-vis des affirmations de l’agent
• Analyse statique et diagnostics du compilateur, conversions, débordements, accès mémoire et comportements indéfinis
• Tests unitaires sur hôte, doublures de périphériques, cas limites et limites de la simulation
• Tests sur cible, débogage, inspection des registres, traces et mesure des temporisations
• Recherche des écarts matériels, volatile, atomicité, concurrence avec les interruptions et consommation mémoire
• Atelier pratique : Diagnostiquer un micrologiciel qui compile mais échoue sur la carte, corriger la cause et conserver les résultats des tests de non-régression.

[Jour 3 – Après-midi]

Sécurité et dossier de preuves

• Sécurité des agents IA, injections de prompt dans les documents, outils non fiables et commandes dangereuses
• Protection du code confidentiel, des secrets et des données projet, sélection des contextes transmissibles
• Audit des permissions, serveurs MCP, dépendances et configurations, isolation des outils et maîtrise des accès matériels
• Constitution d’un dossier de preuves, versions, exigences, sources matérielles, modifications et résultats reproductibles
• Critères d’acceptation et revue humaine finale, couverture des exigences, limites connues et décision de livraison
• Atelier pratique : Auditer le workflow du projet fil rouge, tester ses garde-fous et présenter un dossier justifiant l’acceptation ou le rejet du micrologiciel généré.