Des articles techniques écrits par les formateurs qui animent nos cours. Ils expliquent les choix d'architecture que l'on rencontre en projet, sans les raccourcis des fiches produit.
MCP et fiches techniques : donner à un assistant IA le contexte de votre projet embarqué
Un assistant sans accès au manuel de référence invente. Model Context Protocol, ingestion de fiches techniques, agents outillés, configurations réutilisables et la question de la propriété intellectuelle.
Faire écrire du code embarqué par un LLM : ce qui marche et ce qui casse
Un modèle de langage écrit du C plausible et invente des registres. Où il fait gagner du temps, où il produit du code dangereux, et comment lui fournir le contexte matériel qui change tout.
TrustZone sur Cortex-M : isolation, TF-M et ce que PSA garantit vraiment
TrustZone-M n'est pas TrustZone-A. Attribution mémoire par SAU et IDAU, transitions NSC, coût réel des appels sécurisés, rôle de TF-M et périmètre exact de la certification PSA.
TLS sur microcontrôleur : empreinte, poignée de main et gestion des certificats
Faire tenir TLS 1.3 dans 64 Ko de flash sans casser la sécurité. Choix des suites cryptographiques, coût réel de la poignée de main, accélération matérielle, validation de chaîne et renouvellement des certificats sur le terrain.
Secure boot sur microcontrôleur : chaîne de confiance, clés et anti-rollback
Un démarrage sécurisé ne se résume pas à vérifier une signature. Racine de confiance immuable, provisionnement des clés, protection anti-rollback, mise à jour double banque et les erreurs qui rendent la chaîne inutile.
SBOM pour firmware embarqué : générer, vérifier et exploiter une nomenclature logicielle
Un SBOM utile n'est pas une liste de paquets exportée une fois. Formats SPDX et CycloneDX, génération depuis Yocto, Buildroot et Zephyr, appariement CVE, et les pièges qui rendent une nomenclature inexploitable.
Cyber Resilience Act : ce qui change concrètement pour un produit embarqué
Le CRA impose des exigences techniques vérifiables sur tout produit connecté vendu dans l'Union. Échéances, classes de risque, exigences de l'annexe I, signalement sous 24 heures et ce que ça implique dans le firmware.
Devicetree sous Zephyr : overlays, bindings et lecture des erreurs de build
Le devicetree de Zephyr n'est pas celui de Linux. Résolution des overlays, rôle des bindings YAML, macros DT_ générées, et comment lire les erreurs de compilation qu'il produit.
FreeRTOS ou Zephyr : comment choisir son RTOS pour un projet embarqué
Deux philosophies opposées : un ordonnanceur minimal contre un système d'exploitation complet. Empreinte mémoire réelle, pilotes, réseau, sécurité, gouvernance et le critère qui tranche vraiment.
RISC-V ou ARM Cortex : les différences qui comptent vraiment en projet
Au-delà du débat sur les licences : jeu d'instructions modulaire, extensions obligatoires ou non, maturité de la chaîne d'outils, fragmentation des implémentations et ce que ça implique pour un produit à dix ans.
Écrire un pilote Linux embarqué : du devicetree au sysfs, sans se tromper de couche
Choisir le bon sous-système avant d'écrire une ligne, comprendre probe et remove, gérer les ressources avec devm, et éviter les erreurs de contexte qui font paniquer le noyau.
Latence temps réel sous Linux : mesurer, comprendre et corriger avec PREEMPT_RT
Activer PREEMPT_RT ne suffit jamais. Ce qui fixe votre latence pire cas, ce sont les IRQ threadées, la gestion d'énergie, les SMI et le comportement du cache. Méthode de mesure et corrections concrètes.
Démarrage d'un Linux embarqué : du reset au premier processus, étape par étape
Ce qui se passe réellement entre la mise sous tension et le shell : code ROM, TF-A, U-Boot, décompression du noyau, devicetree, initramfs et PID 1. Avec les points où ça casse et comment les diagnostiquer.
Cohérence de cache et DMA sur ARM : pourquoi vos tampons se corrompent
Un tampon DMA qui contient des données périmées ou qui perd des octets vient presque toujours du cache. Ce qui se passe vraiment sur Cortex-A et Cortex-M, et comment corriger avec les bonnes barrières et les bonnes invalidations.
FPGA ou microcontrôleur : comment trancher sur un projet embarqué
Le débat FPGA contre microcontrôleur se règle rarement sur les performances brutes. Ce qui décide vraiment, c'est le déterminisme, le parallélisme réel, le coût unitaire et les compétences de l'équipe.
Yocto ou Buildroot : comment choisir pour votre projet Linux embarqué
Yocto et Buildroot répondent à la même question par deux méthodes opposées. Ce qui les sépare vraiment : le cycle de build, la maintenance sur plusieurs années, et le support des fabricants de SoC.