Architectures embarquées
sûres et performantes
FPGA, architectures hétérogènes, surveillance embarquée et maintien en conditions opérationnelle et de sécurité.
Recherche · conception · transmission
Des architectures :
de la puce au système.
Un parcours de recherche en ingénierie système : concevoir, modéliser, intégrer et déployer des systèmes embarqués sûrs, résilients et reconfigurables.
01 Positionnement
Concevoir des systèmes
sûrs et résilients.
Depuis plus de vingt ans, les recherches se situent à l'interface des systèmes embarqués, de l'ingénierie système et de la cybersécurité. Elles relient exigences, modèles, architectures exécutables, intégration et déploiement.
De MADEO à ELNATH, en passant par le vFPGA et ZeFF, cette approche met les outils à l'épreuve des systèmes réels. Les travaux présentés dans SOSE, ISSE et SysCon prolongent cette continuité vers les systèmes autonomes, les jumeaux numériques et la résilience.
03 Axes de recherche
Architectures embarquées
Modélisation et résilience
des systèmes autonomes
Exploration d'architectures complexes, jumeaux numériques et politiques de résilience pour des flottes de drones en environnement contesté.
Intelligence artificielle
et cyberdéfense
Détection de signaux faibles et d'intrusions, robustesse et sécurisation des moteurs d'intelligence artificielle.
Ingénierie système
des architectures exécutables
Une continuité de conception étudiée dans SOSE, ISSE et SysCon : MADEO structure le design par un DSL métier, le vFPGA rend le modèle exécutable, ZeFF intègre les cœurs virtuels et ELNATH déploie une architecture dimensionnée par l'usage jusqu'au silicium.
Articuler les activités ↗02 Frise
10 De la modélisation au déploiement
04 Explorer
Articulation des
activités.
Filtrez le parcours par objet scientifique. Chaque nœud révèle les thèses, outils et démonstrateurs qui prolongent l'activité.
Projets majeurs
Patrimoine logiciel
Sélectionnez un nœud
Le graphe relie les outils, les architectures, les applications et les méthodes de validation.
05 Outils & démonstrateurs
Modéliser, synthétiser,
exploiter.
MADEO explore les architectures ; MADEO-C est un outil HLS distinct ; ArGen et ZeFF portent les modèles vers le vFPGA. ELNATH prolonge ce même environnement jusqu'au FPGA fondu.
1 / 5
06 Projets collaboratifs
DT4RSN
Digital Twins for Resilient Sensor Networks
TrustSoC
Conception de systèmes sur puces sûrs par conception
Overlay MCS
Maintien en condition de sécurité de circuits reconfigurables
Overlay MCO
Maintien en condition opérationnelle sur temps long
6,3 M€
Co-portage d'un projet régional de recherche
MORPHEUS · ARDyT · OSGAR
Coordination et co-coordination de projets collaboratifs
06 Représentation & animation
Faire circuler
les questions.
Des responsabilités et des prises de parole situées à l'interface entre recherche, défense, industrie et formation.
Animateur « Manycores / Reconfigurable »
Animation d'une thématique du GDR SOC-SIP, au croisement des architectures manycores, des systèmes multiprocesseurs reconfigurables et des outils de conception.
Voir les travaux associés ↗Adjoint au directeur scientifique, délégué à la cyber
Animation de l'équipe Cyber, animateur du projet transverse Cyber du Lab-STICC, membre du COMEX de la Chaire de Cyberdéfense des Systèmes Navals et représentant au Pôle d'Excellence Cyber.
Journée Chaires Cyber Interarmées
Modération de la table ronde « Cybersécurité dans le contexte maritime : enjeux et opportunités », autour de la détection d'attaques, du maintien en condition opérationnelle et de l'IA.
Lire l'archive ↗Rendez-vous du monde maritime
Animation de la table ronde consacrée à la sécurité des systèmes de systèmes, dans le cadre de la 8e édition des RD2M.
Lire l'archive ↗En direct des labos
Entretien sur les objectifs du Lab-STICC en cybersécurité, ses collaborations, ses formations et les architectures de calcul sécurisées prototypées sur FPGA.
Lire l'archive ↗20+années de recherche
à l'interface systèmes et cyber
à l'interface systèmes et cyber
17thèses dirigées
dont 3 actuellement en cours
dont 3 actuellement en cours
3axes complémentaires
de recherche
de recherche
07 Repères bibliographiques
Quelques points
d'entrée.
Une sélection pour entrer dans les différentes périodes du parcours. Les listes complètes sont à consulter sur HAL et Google scholar.
2026Layered Resilience for Perimeter SurveillanceIEEE SoSE · Physical and Digital Twins ↗2026A Simulation-Based Framework for Evaluating Local Coordination Strategies in Drone FleetsManuscrit · qualification de lois locales et campagnes reproductibles ↗2026Cybersecurity of a Two-Level Drone Surveillance ArchitectureCyber On Board · autonomie résiliente et surfaces d'attaque ↗2026Contracts over Clusters: From Mission Guarantees to System VerificationManuscrit · MBSE, simulation et contrats assume-guarantee ↗2025War on JITs: Software-Based Attacks and Hybrid DefensesACM Computing Surveys · cybersécurité ↗2025A Survey on Versatile Embedded Machine Learning Hardware AccelerationJournal of Systems Architecture · IA embarquée ↗2014Model-Driven Toolset for Embedded Reconfigurable CoresScience of Computer Programming · prototypage ↗2024Efficient Adaptive Multi-Level Privilege Partitioning With RTrustSoCIEEE TCAS-I · TrustSoC ↗
08 Encadrement doctoral
Transmettre les
méthodes.
17 thèses dirigées au cours de la carrière, dont trois actuellement en cours. Ces travaux illustrent une trajectoire scientifique allant des architectures reconfigurables et de la CAO vers l'ingénierie système, la modélisation, la vérification et la cybersécurité des systèmes embarqués.
En cours · 2027
Pierre Garreau
Sécurité
IA
.
.
Détection d'intrusion cyber par IA.
En cours · 2028
Oussama Elmnouari
Sécurité
HW/SW
.
.
Software Mitigations for Cache and Covert Timing Side-Channel Attacks.
En cours · 2028
Sonia Haddouche
HW/SW
CAO
.
.
Programmation d'architectures hétérogènes embarquées pour SYCL.
Thèse soutenue · 2007
Alix Lubain Poungou
Télécharger le manuscrit ↓
Reconfig.
Nano
.
.
Nanotechnologies et Architectures reconfigurables
Thèse soutenue · 2010
Damien Picard
Télécharger le manuscrit ↓
IS
CAO
Embarqué
Reconfig.
Méthodes et outils logiciels pour l'exploration architecturale d'unités reconfigurables embarquées
Thèse soutenue · 2011
Ciprian Teodorov
Télécharger le manuscrit ↓
IS
Modélisation
CAO
Nano
Model-Driven Physical- Design for Future Nanoscale Architectures
Thèse soutenue · 2014
Mohamed Ben Hammouda
Télécharger le manuscrit ↓
Reconfig.
HLS
Monitoring
.
Un cadre de définition de la sémantique basée MoC des modèles de systèmes
Thèse soutenue · 2014
Issa Diallo
Télécharger le manuscrit ↓
IS
CAO
.
.
Un cadre de définition de la sémantique basée MoC des modèles de systèmes
Thèse soutenue · 2015
Jean‑Philippe Schneider
Télécharger le manuscrit ↓
IS
Modélisation
CAO
.
Les rôles : médiateurs dynamiques entre modèles système et modèles de simulation
Thèse soutenue · 2017
Théotime Bollengier
Télécharger le manuscrit ↓
Reconfig.
HW/SW
Virtualisation
Monitoring
Du Prototypage à l’Exploitation d’Overlays FPGA
Thèse soutenue · 2018
Charbel Aoun
Télécharger le manuscrit ↓
IoT
IS
Maritime
.
An Eentreprise Architecture and Model Driven Engineering Based Approach for Sensor Networks
Thèse soutenue · 2018
Cyrielle Feron
Télécharger le manuscrit ↓
Sécurité
CAO
Crypto
.
PAnTHErS : un outil d’aide pour l’analyse et l’exploration d’algorithmes de chiffrement homomorphe
Thèse soutenue · 2022
Emilien Fournier
Voir sur HAL ↗
Reconfig.
Sécurité
Model‑Check
.
Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurables
Thèse soutenue · 2024
Raphaële Milan
Reconfig.
Sécurité
CAO
.
TRUST SoC : systèmes sûrs par conception.
Thèse soutenue · 2024
Quentin Ducasse
Télécharger le manuscrit ↓
Sécurité
Virtualisation
.
.
Secure Accelerated Virtual Machines.
Échange scientifique