Edge AI
IA embarquée et sur appareil : intégration de modèles, inférence en périphérie sur SoC hétérogènes (p. ex. STM32MP1), MLOps pragmatique.
Sécurité fonctionnelle · Edge AI · Cybersécurité
J'aide les équipes des industries critiques à mettre en production l'IA et les systèmes connectés — en toute sûreté et sécurité. De l'analyse des risques et des architectures à état sûr au secure boot et à la surveillance de l'IA embarquée, portés par un processus rigoureux en V et du matériel réel.
Services
Cinq disciplines imbriquées — car un système sûr est aussi un système sécurisé, et l'IA n'échappe à aucun des deux.
IA embarquée et sur appareil : intégration de modèles, inférence en périphérie sur SoC hétérogènes (p. ex. STM32MP1), MLOps pragmatique.
IEC 61508 / ISO 26262 — HARA, concepts de sécurité, architectures à état sûr, cycle en V, dossiers de sécurité.
IEC 62443 / ISO 21434 — secure boot, TrustZone/OP-TEE, analyse des menaces (TARA), SBOM, mise à jour sécurisée.
ISO/IEC TR 5469, ISO/PAS 8800 — architectures de surveillance « safety island », filtrage OOD/incertitude, dossiers d'assurance.
De l'évaluation et l'analyse d'écart à la mise en œuvre concrète et la vérification sur matériel réel.
Secteurs
Les normes diffèrent ; la rigueur non. J'interviens dans des domaines réglementés à fortes conséquences.
Réalisations choisies
Travaux représentatifs. Le projet phare est un démonstrateur fonctionnel sur matériel réel — dans l'esprit des normes auxquelles il se réfère.
Une safety island Cortex-M4 (Zephyr) supervisant une charge d'IA embarquée sur un Cortex-A7/Linux (STM32MP157F-DK2). L'IA reste non fiable (untrusted) ; un moniteur indépendant force l'état sûr en cas de défaillance de l'IA ou d'entrée hors distribution. Conçu dans l'esprit d'IEC 61508 + ISO/IEC TR 5469 avec un jeu d'artefacts complet en cycle en V.
Contribution du support de la carte STM32MP157F-DK2 au projet amont Zephyr RTOS (PR #117118) — vérifié sur matériel via le framework remoteproc.
Ma méthode
Un processus que les auditeurs reconnaissent — traçable de l'exigence à la preuve. Pas de slides ; des systèmes qui fonctionnent et des artefacts qui tiennent lors d'une évaluation.
Analyse d'écart au regard des normes pertinentes. Nous identifions les vrais risques et le chemin le plus court vers des preuves crédibles.
Analyse des dangers et des menaces (HARA, TARA), concepts de sûreté & sécurité, architectures à état sûr — pensés pour être vérifiables, pas seulement documentés.
Mise en œuvre concrète sur matériel réel : secure boot, moniteurs de sécurité, intégration de l'IA embarquée. Des systèmes qui marchent, pas des slides.
Vérification & validation le long du cycle en V, avec un jeu d'artefacts traçable : exigences → conception → tests → preuve.
Dossiers d'assurance / de sécurité et transfert propre, pour que votre équipe puisse maintenir, étendre et certifier le système.
À propos d'IGNAO
IGNAO est un cabinet d'ingénierie indépendant à l'intersection de la sécurité fonctionnelle, de la cybersécurité et de l'IA embarquée. Je rends l'apprentissage automatique et les systèmes connectés suffisamment fiables pour un usage critique.
Ma démarche est concrète et guidée par la preuve : matériel réel, processus fondé sur les normes, et un jeu d'artefacts qui tient lors d'un audit. L'IA est considérée comme non fiable par défaut ; sûreté et sécurité sont architecturées d'emblée, non ajoutées après coup.
Contact
Un défi d'IA ou embarqué critique en sûreté ou en sécurité ? Décrivez ce que vous construisez et où cela doit être fiable — je réponds généralement sous quelques jours ouvrés.