Thèses Lab-STICC/ENSTA Bretagne

Cette page présente la liste des thèses en cours et soutenues au sein du Lab-STICC / ENSTA Bretagne
Thèses en cours et soutenues depuis 2021
pôle "IA et Océan" / équipes M3, ROBEX, OSE

Points de contact : Pierre BOSSER, enseignant-chercheur responsable du pôle "IA et Océan" et de l'équipe M3 ; Dorian CAZAU, enseignant-chercheur responsable de l'équipe "OSE" ; Luc JAULIN, enseignant-chercheur responsable de l'équipe ROBEX.

Thèses en cours :

  • Mirado RAJAMAROSATA : "Conception et réalisation d'un robot autonome pour l'exploration karstique" - équipe ROBEX
  • Pierre-Yves LE ROLLAND RAUMER : "Modèles IA appliqués à la détection et à la classification des évènements sismiques" - équipe OSE
  • Gabriel DUBUS : "Modèles d'IA appliqués à la détection et à la classification des mammifères marins" - équipe OSE
  • Anatole GROS-MARTIAL : Modèles d'IA appliqués à la métrologie accoustique à partir de plateformes mobiles d'observation" - équipe OSE
  • Richard DREO : "Détection et suvi de grandes baleines par mesures hydroacoustiques et sismologiques. Apport des mesures en fond de mer et dans le canal SOFAR" - équipe M3
  • Mounadi ABILLAH TOIHIRI : "Etude d'une représentation géométrique du fond dans l'inversion du modèle de transfert radiatif par petits fonds" (région Bretagne et Brest Métropole)
  • Quentin BRATEAU : "Cartographie et localisation simultanées avec données aberrantes à l'aide du calcul par intervalles" (DGA) - équipe ROBEX - objectif : permettre à un robot torpille d'effectuer un parcours et revenir à son point de départ sans se perdre dans une environnement complètement ouvert, dénué d'obstacles.
  • Maria-Luiza COSTA-VIANNA : "Validation en navigation sous-marine autonome" - co-encadrement équipe ROBEX et LIX (laboratoire d'informatique de l'Ecole polytechnique, avec Eric Goubault et Sylvie Putot) - objectif : caractérisation topologique des zones explorées afin d'identifier les trous (zones non explorées.
  • Aaronkumar EHAMBRAM : co-encadré avec l'université de Hanovre - objectif : fournir les outils de calcul de preuve de la bonne autonomie de conduite d’un véhicule automobile 
  • Damien ESNAULT : thèse DGA Techniques Navales - objectif : effectuer une mission robotique sous-marine autonome sans se perdre en utilisant une carte de terrain 
  • Pierre FILIOL : "Accélération matérielle du calcul par intervalles et son application à la robotique mobile" - équipe ROBEX - objectif : permettre un calcul rapide des incertitudes, à faible consommation d’énergie, en robotique mobile autonome.
  • Nathan FOURNIOL : "Communication avec relais intermédiaires navals autonomes (CORINA)" (région Bretagne, Thales) - équipe ROBEX
  • Mohammed Ali GHANNAMI : "Inférence statistique de la hauteur de la colonne d'eau par analyse radiométrique et géométrique d'images spectrales" (région Bretagne, IFQM) - équipe M3
  • Maël GODARD - "Validation a priori de missions autonomes" (bourse DGA, région Bretagne) équipe ROBEX - objectif : pouvoir garantir qu’une mission robotique se passera bien, en maîtrisant mieux les incertitudes qui sont caractérisées et modélisées. Application à la robotique marine autonome (exemple : catamaran Helios).
  • Bernardo HUMMES FLORES : "méthodes formelles pour la robotique mobile" - co-encadrement équipe ROBEX et LIX (laboratoire d'informatique de l'Ecole polytechnique, avec Eric Goubault et Sylvie Putot) - objectif : trouver des méthodes de calcul de preuve qu’un groupe de robot puisse collaborer sans mésentente ni échec de mission et démontrer que, de façon collaborative, certaines propriétés seront toujours satisfaites comme le fait de rester groupés ou la détection d’un intrus.
  • Morgan LOUEDEC : "Stratégies de coopération d’une flotte de robots sous-marins pour réalisation de missions autonomes" (AID, région Bretagne) - équipe ROBEX - objectif : démontrer la stabilité d’un système cyber-physique dans le cadre d’une flotte de plusieurs robots sous-marins autonomes. Exemple de résultats expérimentaux.

Thèses soutenues depuis 2021 :

pôle "DMID" / équipe Matrix (ou * : Decide)

Point de contact : Gilles LE CHENADEC, enseignant-chercheur responsable de l'équipe MATRIX

Thèses en cours :

  • Antoine WANCTIN : "Proactive COLREGs in an efficient Swarm of Drones"
  • Mathilde MICHEL : "Optimisation du Suivi des Cétacés par Acoustique Passive dans le cadre de la Directive européenne Cadre Stratégie pour le Milieu Marin" (OFB) 
  • Tyméa PERRET : "Détection automatique d’échos de fluides dans des données de rétrodiffusion acoustique de la colonne d’eau à l’aide d’une méthode de Deep-learning". 
  • Katell LAGATTU "AUV Fault Detection and Control with Deep Reinforcement Learning" (CIFRE Naval Group)
  • Perrine BAUCHOT : "Learning Optimal Measurements and Sampling Strategies for Multi-Platform Ocean Monitoring Surveillance"
  • Ali HAIDAR AHMAD
  • Quentin SAINT-CHRISTOPHE : "Falsification des données par fusion de données" (chaire cyber) - équipe Decide

Thèses soutenues depuis 2021 :

  • Aliah MAJED : "Sensing-based Self-Reconfigurable Strategies for Autonomous Modular Robotic Systems" (AUCE Liban)
  • Alexandre L'HER : "Propagation acoustique en milieu fluctuant : des phénomènes océanographiques au traitement du signal" (Cifre Thales)
  • Quentin FERDINAND : "Incremental learning for classification of Objects of Interest" (CIFRE Naval Group)
  • Thomas CHAFFRE : "Adaptative control of underwater robots with Machine Learning" (région Bretagne, Flinders university, Naval Group)
  • Milan COURCOUX-CARO : "Conception optimisée d antennes pour la localisation passive de sources acoustiques sous-marines" (DGA) - équipe Matrix - 2022
  • Thomas PAVIET-SALOMON : "Super résolution modale et discrimination à partir d'une antenne linéaire tractée" (DGA, ENSTA Bretagne) - 2021
  • Yoann SOLA : "Commande robuste avec prise en compte des incertitudes de modélisation" (DGA, région Bretagne) - 2021
pôle "SHARP" / équipes P4S, ARCAD, SHAKER

Points de contact : Ciprian TEODOROV, enseignant-chercheur responsable du pôle SHARP et de l'équipe P4S ; Loïc LAGADEC, enseignant-chercheur responsable de l'équipe ARCAD ; Jalil BOUKHOBZA, enseignant-chercheur responsable de l'équipes SHAKER.

Thèses en cours :

  • Johann MILON : Étude de vulnérabilités physiques de crypto-systèmes embarqués - équipe ARCAD
  • Raphaele MILAN - Equipe ARCAD
  • Bastien MAFFRE : "Accélérateurs FPGA en arithmétique RNS pour des isogénies entre courbes elliptiques" - équipe ARCAD
  • Andres Orlando LOPEZ HENAO : "Une méthode outillée pour concevoir et créer des lignes de produits logiciels à forte composante en intelligence artificielle" - équipe P4S
  • Pierre GARREAU : "Accélérateur matériel d’IA pour des applications IDS" - équipe ARCAD
  • Emilien DEBELLE : "Accélérateurs cryptographiques agiles et sécurisés" - équipe ARCAD
  • Oscar AGUAYO BENZAN : "Une approche outillée pour construire automatiquement des produits à partir de lignes de produits logiciels en utilisant des capacités d'IA générative" - équipe P4S
  • Patrick AUGER : Résilience d’infrastructure IOT dans un contexte de guerre de haute intensité - équipe ARCAD
  • Mouhamadou Falilou BALL : "Évaluation de sécurité pour drones par emploi de jumeau numérique" - équipe ARCAD
  • Quentin TUAL : "Protection des composants électroniques contre les attaques de type chevaux de Troie" - équipe ARCAD
  • Lydia AIT OUCHEGGOU : "Pptimisation du système de stockage pour les infrastructures réseau NDN" (NIST) - équipe SHAKER
  • Hiba HNAINI : "Vers un cadre unificateur pour la spécification, formalisation et l’analyse d’architectures matérielles et logicielles sécurisées" (AID) - équiper P4S
  • Vincent LANNURIEN : "Ordonnancement sur ressources hétérogènes pour le Cloud" (IRT bcom) - équipe SHAKER
  • Hocine MAHNI : "Placement de données HPC sur systèmes de stockage multi niveaux et hétérogène DataMeSS: HPC Data Placement on Heterogeneous and Multilevel Storage Systems" (ENSTA Bretagne) - équipe SHAKER
  • Louis-Marie NICOLAS : "Optimisation de l'Énergie des E/S par apprentissage frugal et fédéré pour des applications HPC" - équipe SHAKER
  • Matthias PASQUIER : "Considération explicite d'un système d'exploitation embarqué dans un processus de certification de cybersécurité" (CIFRE ERTOSGENER) - équipe ARCAD
  • Anne-Laure WOZNIACK : "Cadre novateur de test des composants logiciels à base de réseaux neuronaux pour les systèmes critiques" (CIFRE KEREVAL) - équipe P4S

Thèses soutenues depuis 2021

  • Maelic LOUART : "Détection automatique en temps réel des usurpations AIS" (région Bretagne, chaire Cyber navale) - équipe ARCAD
  • Quentin DUCASSE : "Déploiement matériels logiciels de machines virtuelles sécurisées : Plateforme Manycore Risc-V Hétérogène pour l’IoT" (Brest métropole, Pôle d'Excellence Cyber) - équipe ARCAD
  • Sylvain GUERIN : "Fédération de Modèles, une approche compositionnelle de modélisation" (AID) - équipe P4S
  • Camélia SLIMANI : "Vers de l’Edge Intelligence ́économe en E/S" (CDE, région Bretagne) - équipe SHAKER - 2022
  • Maelic LOUART : "Détection automatique en temps réel des usurpations AIS" (région Bretagne, chaire Cyber navale) - équipe ARCAD - 2023
  • Amina CHIKHAOUI : "Vers une approche intelligente de placement de données dans un cloud distribué basé sur un système de stockage hybride" (USTHB, Algérie) - équipe SHAKER - 2022
  • Emilien FOURNIER : "Accélération matérielle de la vérification de sûreté et vivacité sur des architectures reconfigurables" (Pôle d'Excellence Cyber, région Bretagne) - équipe P4S - 2022
  • Nicolas SUN TITHNARA : "Mod-Menace - Modèle système dynamique pour l'analyse de la menace" (Pôle d'Excellence Cyber, DGA) - équipe P4S - 2022
  • Bastien DROUOT : "Fédération de modèles pour l'analyse de cybersécurité du point de vue d'un attaquant" (région Bretagne, DGA) - équipe SHARP - 2021
  • Hannah BOENNING BADIER : "Techniques d’obsfucation pour HLS en mode SAAS" ( Pôle d'Excellence Cyber, région Bretagne) - équipe SHARP - 2021
  • Mohammed BEY AHMED KHERNACHE : "Performance et efficacité énergétique du décodage des standards vidéo de nouvelle génération sur les architectures multi-cœurs basse consommation" (FUI EFIGI) - équipe SHARP - 2021
pôle "SyPH" / équipe PIM

Point de contact : Ali KHENCHAF, enseignant-chercheur responsable du pôle SyPH et de l'équipe PIM.

Thèses en cours :

  • Raphael VALERI : "Modélisation et simulation EM pour l'imagerie SAR en présence de couplage entre objets de différentes natures et des objets avec la scène d'intérêt"
  • Vincent TEISSIER : "Algorithmes pour captation superhétérodyne multivoies agile pour détection de signaux radar et télécommunications"
  • Laurent ROCHE : Etudes et traitements des perturbations du fonctionnement des radars par les éoliennes
  • Nour RIZK : "Étude du canal de propagation pour des faisceaux lasers intriqués: application au système de Communication Quantique Sous-Marin
  • Vincent TESSIER : "Algorithmes pour captation superhétérodyne multivoies agile pour détection de signaux radar et télécommunications"  (DGA Projet MUSHA)
  • Alexia TACHET : "Surveillance dynamique du spectre radiofréquence, détection et localisation de signaux radar" (DGA Projet MUSHA)
  • Adrien GRIVEY : "Réseaux d’antennes et traitements associés pour le radar automobile : Etude, développement et conception" (Cifre ZF)
  • Hamza BOUNACEUR : "Détection et suivi de cibles mobiles de faible SER en environnement maritime à partir d'un aéronef de type drone." (région Bretagne, ENSTA Bretagne)
  • Louis LESIEUR : " Désentrelacement et pistage de formes d’onde radar par techniques IA" (CIFRE Thales)

Thèse soutenue depuis 2021 :

  • Aurélie PANETIER : "GNSS embarqué en pleine mer pour la métrologie et la climatologie : Développement de méthodes d'analyse de données GNSS acquises par des antennes embarquées 
    en pleine mer pour l’amélioration de la trajectographie et de la caractérisation de la vapeur d’eau atmosphérique (projet Méditerranée : + d'infos)
  • Clet BOUDEHENN : "Détection d'intrusion dans un système navire." (Chaire cyberdéfense des systèmes navals)
  • Sylvain BORDERIEUX : "Couplage optique micro-onde quantique dans la perspective du radar quantique." (DGA)
  • Hadi Ismaël HIJAZI : "Sécurisation sur la couche physique d'un lien radio par la technique du full-duplex" (région Bretagne). (équipe Lab-STICC DH / pôle MatRF)
pôle "T2I3" / équipe SI3

Point de contact : Ali MANSOUR, enseignant-chercheur responsable de l'équipe SI3

Thèses en cours :

  • Mahmoud KARMANY : "Cryptage d'images basée sur des approches conjointes de traitement du signal et de d'image"
  • Mohamad KHEIR EL DINE 
  • Rima KAAFARANI : "Plate-forme fiable basée sur la blockchain pour l'agriculture intelligente"
  • Mohammed Amine BENBOUZID 
  • Hesham Sadat BADRAN IBRAHIM  
  • Katia KARAM : "Controlled path optimized and self-aware unmanned aerial vehicle for smart agriculture sector" 
  • Hesham SADAT : (Egypte)

Thèses soutenues depuis 2021 :

  • Aurélien OLIVIER : "Deep learning et méthodes pour la caractérisation d'une trombose veineuse profonde par échographie et élastographie" (CHRU Brest, ENSTA Bretagne)
  • Louis MORGE-ROLLET : "Authentification par empreinte radio d'IoT" (DGA chaire IoT)
  • Grégoire DE BROGLIE : "Stealth communications by Software Defined Radio with aerial drone in a Cognitive Radio context" (DGA chaire IoT)
  • Kahina BENSAFIA : "Séparation aveugle de sources ; application aux signaux bio-médicaux" (Algérie)
  • Rida MORTADA : "Multi-hop routing for cognitive radio sensor network" (AUCE Liban)
  • Marwa IBRAHIM : "Energy-Efficient Strategies and Big Data Analytics Within the Wireless Sensors Networks" (AUCE Liban)
Thèses soutenues avant 2021 (anciennes équipes Lab-STICC)
Domaine "Traitements, observations et méthodes statistiques" (TOMS)

Thèses soutenues en 2020 :

  • Guillaume BEAUMONT (contrat DGA) : « Traitements correctifs des effets de décohérence induits par les fluctuations du milieu de propagation ».
  • Maëlle TORTEROTOT (bourse région) : « Traitement et analyse de signaux bioacoustiques dans l'océan indien austral ».
  • Paul NGUYEN HONG DUC (bourse DGA) : « Development of artificial intelligence methods for marine mammal detection and classification of underwater sounds in a weak supervision (but) Big Data-Expert context ».
  • Antoine D'ACREMONT (CIFRE MBDA) : « Reconnaissance et identification de cibles en imagerie infrarouge par apprentissage profond ».

Thèses soutenues en 2019 :

Thèses soutenues en 2018 :

  • Rémy EMMETIERE (CIFRE THALES) : « Discrimination en profondeur de source acoustique en eau profonde via l’utilisation d’invariants d’antenne et de guide d’onde ». Encadrement académique : WHOI, ENSTA Bretagne/TOMS.
  • Gaëtan RICHARD (financement : régions Deux Sèvres et Poitou Charentes, programme ANR ORCA Depred) : « Conflits d’usage hommes/mammifères marins dans les pêcheries - Evaluations des pertes économiques, recherche de solutions.
  • Ayoub KARINE : «Traitement et classification parcimonieuse des images radar pour l’aide à la reconnaissance de cibles» (thèse co-encadrée par les équipes TOMS et PIM, en lien avec le développement et l’application de l’IA dans le domaine radar).

Thèses soutenues en 2017 :

  • Emmanuelle LEROY : "Surveillance acoustique des baleines bleues antarctique dans l’océan Indien Austral" (bourse région Bretagne)
  • Ewen CONAN : "Discrimination en immersion de sources ultra basse fréquence" (contrat LMA-CNRS)
     
Domaine "Perception, robotique et systèmes autonomes" (PRASYS)

Thèse soutenue en 2020 :

  • Charles COQUET (CIFRE Thales) : « Recherche multi-agents d'une source par mesure d'une grandeur scalaire associée ».

Thèses soutenues en 2019 :

  • Thomas LE MEZO (financement : DGA, région Bretagne) : Bracketing largest invariant sets of dynamical systems : an application to drifting underwater robots in ocean currents  (Encadrement des plus grands ensembles invariants de systèmes dynamiques : une application aux robots sous-marins dérivant dans les courants océaniques). Prix de thèse DGA en 2021 : + d'infos
  • Gaspard MINSTER (financement : ANR) : « Modélisation du processus de saltation (transport de sédiment) en milieu extrême. Application au raz Blanchard ».
  • Thibaut NICO (CIFRE ECA Robotics) : « Étude et développement de solutions de relocalisation d’objets sous-marins par des véhicules sous-marins hétérogènes ».
  • Vincent MYERS (financement : Defence & Research Canada) : « Traitement, interprétation et exploitation d'images sonar à antenne synthétique obtenues à partir de trajectoires répétitives ».

Thèses soutenues en 2018 :

Thèses soutenues en 2017 :

Domaine "Communication numérique" (COM)

Thèses soutenues en 2020 :

  • Mahmoud AL MASRI (bourse du Liban, avec l’UL : Université Libanaise) : « Théorie des jeux pour les communications militaires tactiques ».
  • Jean-Marie KADJO (bourse de Côte d’Ivoire) : « Analyse Spectrale et Temporelle des Signaux de Communications Numériques et Applications en Radio Cognitive ».
  • Michel Ghattas AKKAD (bourse du Liban, université de Balamand) : « Optimisation et implémentation des algorithmes de formation des voies sur des systèmes embarqués ».
  • Mme Moawad AZZA (AAMSET, Egypte) : « Approches renforcées de la détection du spectre dans le contexte de la radio cognitive ».

Thèses soutenues en 2018 :

Domaine "Méthodes, outils, circuits et systèmes" (MOCS)

Thèse soutenue en 2020 :

Thèse soutenue en 2019 :

  • Vincent LEILDE (financement : région Bretagne) : « Aide au diagnostic de vérification formelle de systèmes ». Cette thèse était menée dans le cadre du projet DEPARTS (DEsign PAtterns for Real-Time and Safe applications), financé de 2013 à 2018 par le programme des investissements d’avenir sur les « Briques Génériques du Logiciel Embarqué ».

Thèses soutenues en 2018 :

Thèses soutenues en 2017 :

  • Abbass NASSER : "Allocation dynamique des bandes-fréquentielles en radio cognitive" (avec American University of Culture and Education (AUCE), Beirut, Liban)
  • Xuan Sang LE : "software/FPGA co-design for Edge-computing : Promoting object-oriented design" (région Bretagne, Mines de Douai)
  • Ammad uddin MOHAMMAD : "Utilisation des drones pour une agriculture intelligente" (avec Sensor Networks & Cellular Systems (SNCS), Tabuk, KSA)
Domaine "Propagation et interactions multi-échelles" (PIM)

Thèses soutenues en 2020 :

  • Ngoc TAN TRUONG (bourse e-PANEMA, ADEME, avec SAFRAN, DIADES Marine et ENSM) : « Hybridation multi-sources pour améliorer les fonctions de détection, pistage, localisation et positionnement dans des environnements difficiles ».
  • Antoine FOUCAULT (CIFRE Thales) : « Détection des émetteurs à faible puissance d’émission ou radar LPI ».

Thèses soutenues en 2019 :

  • Naïma AMROUCHE (financement : allocation du gouvernement Algérien ; avec l’université nationale polytechnique d’Alger) : « Détection, localisation et suivi de cibles manoeuvrantes - Méthodes et algorithmes de poursuite de cibles ».
  • Honglei ZHENG (bourse chinoise ; avec Ocean University of China de Qingdao) : « Étude de la signature électromagnétique d'une surface de mer seule ou couverte de pétrole ».
  • Clément ROUSSEL (bourse DGA) : "Stochastic differential equations for the electromagnetic field scattered by the sea surface : applications to remote sensing" (Équations différentielles stochastiques pour le champ électromagnétique diffusé par la surface de mer ; applications à la télédétection).

Thèse soutenue en 2018 :

  • Ayoub KARINE : « Traitement et classification parcimonieuse des images radar pour l’aide à la reconnaissance de cibles » (en co-tutelle avec l’Université Mohamed V de Rabat), en lien avec le développement et l’application de l’IA dans le domaine radar. Thèse co-encadrée par les équipes PIM et TOMS du Lab-Sticc.

Thèses soutenues en 2017 :

  • Romain GIACOMETTI : "Détection et localisation des signaux radar (systèmes passifs ou discrets)." (CIFRE Thales)
  • Hugo SEUTE : "Localisation passive d’emetteurs radar par mesures de tdoa (temps différentiel d’arrivée)" (CIFRE Thales)

CALHYB, cartographier les petits fonds marins

Les zones littorales sensibles aux changements climatiques, les traits de côtes qui évoluent, la surveillance des zones inondables, requièrent des mesures régulières et des systèmes de mesure et d'imagerie adaptés. C'est la vocation du projet CALHYB auquel contribue ENSTA Bretagne.

Afin de cartographier les zones littorales et zones maritimes à petits fonds, le projet CALHYB mise sur un système équipé de deux capteurs de pointe, complémentaires, intégrés sur un drone aérien.

Un capteur imageur hyperspectral passif sera associé à un profileur laser bathymétrique. La fusion des informations issues de ces deux capteurs permettra de réaliser une imagerie des fonds fiable et à haute résolution, révélant à la fois la bathymétrie et la nature du fond. 

Guillaume Sicot, enseignant chercheur ENSTA Bretagne (laboratoire Lab-STICC, pôle IA et océans) :

Il s’agit en effet de tirer profit du niveau élevé de détails de l'imagerie spectrale (haute résolution) et de la justesse apportée par le profileur laser pour fiabiliser l'ensemble. 
L'enjeu du projet porte également sur l'intégration de ces capteurs sur un drone aérien en minimisant les contraintes de poids et de consommation d'énergie. 

Ce projet est porté par Hytech-Imaging avec ENSTA Bretagne en partenaire académique pour son expertise en hydrographie, systèmes de capteurs, acquisition et traitement d'informations sous-marine, et SensUp (filiale du groupe Lumibird).

Equipe Interactions logiciels, matériel et environnement (SHAKER)

L’équipe développe des méthodes et des outils d’optimisation des systèmes logiciels et matériels qui tiennent compte des contraintes et aléas liés à leur environnement.

Méthodes 

•    Modélisation (conjointe) des architectures matérielles et logicielles
•    Conception de systèmes Sw/Hw adaptables dynamiquement en fonction de l’environnement et de l’exigence des applications
•    Vérification en ligne du comportement et des propriétés temporelles du système
•    Mise en œuvre d’outils de conception, de simulation, de trace.

Utilisation 

•    système embarqué,
•    système sur puce, 
•    réseau de capteurs, 
•    Infrastructure edge/cloud.

Applications 

•    véhicules autonomes,
•    systèmes critiques, 
•    IoT, 
•    industrie du futur, 
•    spatial, 
•    milieu marin, 
•    maintien à domicile
 

Collaborations 

  • Entreprises : ATOS, Orange, Naval Group, Thalès, DDN, …
  • Institutions : CEA, IRT b<>com, NIST (US), Académie des sciences de Taiwan, …
  • Laboratoires : INRIA, IETR, LIRMM, LAMIH, …
  • GDR (groupes de recherche CNRS) : RSD, SOC2
     
exemples de projets de recherche
Projet DISPEED : Assurer la cybersécurité d’une meute de drones marins

Exploration minière, surveillance portuaire ou côtière… Ces activités sont de plus en plus souvent assurées par des meutes de drones pilotées de façon semi-automatique. Seulement, la complexité de leurs réseaux les rend vulnérables aux cyberattaques.

Afin d’assurer la sécurité des données contenues et transmises entre drones, l’équipe « Interactions logiciels, matériel et environnement » (Shaker) d’ENSTA Bretagne et du Lab-STICC, a lancé en septembre 2022 le projet DISPEED* avec l’AID. Son objectif ? « Mettre au point un système de détection des intrusions (IDS) qui prend en compte les ressources dont dispose chacun des drones de la meute en termes de capacité de calcul et d’énergie », présente Camélia Slimani, post-doctorante à l’ENSTA Bretagne et membre de l’équipe. 

Les IDSs les plus répandus reposent sur des algorithmes de machine learning qui requièrent une puissance de calcul et de mémorisation importante. Or tous les types de drones ne disposent pas des mêmes capacités de traitement (processeurs, mémoires, stockage), ce qui affecte leur performance en matière de cybersécurité. « Tout l’enjeu est de proposer un modèle d’exécution qui fournisse un compromis pertinent entre rapidité de détection et consommation énergétique en fonction de la criticité de l’attaque et de l’état du système et de la mission », précise la chercheuse.

Dans un premier temps, l’équipe de recherche réalise une étude de performance et de consommation énergétique de plusieurs IDSs existants avant d’établir une stratégie d’exécution qui s’adapte aux missions choisies pour une population de drones évoluant en toute autonomie.
 

*Projet "Détection d'Intrusion et Compromis Sécurité / performance / Energie, Etude pour les meutes de Drones" financé par l'Agence Innovation Défense du Ministère des Armées

Optimisation de l'énergie des systèmes de stockage de données pour des applications HPC (calcul haute performance)
  • L’objectif de ce projet : développer des méthodes et outils permettant de modéliser les profils d’accès aux données de façon frugale et peu intrusive puis d’utiliser les modèles établis afin de développer des stratégies d’optimisation de la consommation énergétique des nœuds de calcul pendant la phase d’accès aux données.
  • Financement : Atos
  • pilote : Jalil BOUKHOBZA, enseignant-chercheur ENSTA Bretagne / laboratoire Lab-STICC (pôle SHARP, équipe SHAKER)

Les systèmes de stockage représentent, en termes de performance, l’un des maillons faibles les plus importants dans un système informatique, en particulier pour les applications qui traitent des quantités importantes de données comme c’est le cas dans le domaine du calcul haute performance (HPC).  

L'émergence de nouvelles technologies de stockage représente une opportunité pour réduire l’écart de performance entre stockage et mémoire de travail mais aussi la consommation énergétique. 

Ces technologies sont déployées à plusieurs niveaux :
- support de stockage (par exemple 3DxPoint),
- son interface (par exemple NVMe),
- ou sa gestion logicielle (par exemple object store).

Ces technos impliquent une croissance importante de la complexité de la gestion du stockage afin de satisfaire les contraintes de qualité de service des applications. 
 

Détection d’Intrusion et compromis Sécurité/Performance/Energie ; étude pour les meutes de drones (DISPEED)

Objectif : proposer un modèle et des stratégies pour l’exécution des systèmes de détection d’intrusion embarqués sur des drones munis d'architectures hétérogènes et qui fournissent un compromis pertinent selon la criticité de l’attaque et l’état du système et de la mission entre rapidité de détection / consommation énergétique.

  • Financement : AID
  • Partenaires : FORTH Grèce, Naval Group, UBO
  • Pilote : Jalil Boukhobza, enseignant-chercheur ENSTA Bretagne / laboratoire Lab-STICC (pôle SHARP, équipe SHAKER)

Le fonctionnement distribué des meutes de drones en mission les rend sensibles à diverses attaques qui doivent absolument être détectées. Ces drones embarquent des composants matériels (calcul et mémorisation) hétérogènes en puissance de calcul et en consommation énergétique pour exécuter les diverses tâches nécessaires à leur mission.

L’objectif du projet est de développer des modèles, des stratégies et des outils permettant d’optimiser le coût énergétique de la détection d’intrusion sur meute de drones ou tout autre système coopératif fortement contraint en énergie ou en puissance matérielle. Ces systèmes fonctionnent en coopération pour accomplir une mission commune. La charge réseau varie donc énormément en fonction du contexte de la mission. Le système de détection d’intrusion n’a donc pas besoin d’être exécuté en permanence sur un équipement nécessitant une puissance matérielle importante et qui consomme une part conséquente de l’énergie du système.

L’enjeu du projet est donc d’étudier et analyser comment il est possible d’adapter l’exécution de l’IDS en utilisant divers composants matériels en fonction de cette charge réseau et du contexte de la mission.

Il s’articule autour de 4 verrous :

  • Verrou 1 : la modélisation de l’environnement d’exécution
  • Verrou 2 : la mise en place d’une plateforme d’évaluation
  • Verrou 3 : la conception d’une stratégie de choix de configuration à base d’outillage d’optimisation multi-objectif
  • Verrou 4 : le mise en place de solution de déport/équilibrage inter-drone de calcul pour la réduction de la consommation énergétique.
Placement de données HPC sur systèmes de stockage multi niveaux et hétérogènes (DataMeSS)

Objectif :  concevoir des stratégies de placement de données efficaces sur des architectures de stockage multi-tiers dans le domaine du calcul hautes performances.

  • Financement : CEA
  • Pilote : Jalil Boukhobza enseignant-chercheur ENSTA Bretagne / laboratoire Lab-STICC (pôle SHARP, équipe SHAKER)

Les systèmes de stockage représentent, en terme de performance, l’un des maillons faibles les plus importants dans un système informatique, en particulier pour les applications qui traitent des quantités importantes de données. L'émergence de nouvelles technologies de stockage représente une opportunité pour réduire l’écart de performance entre stockage et mémoire de travail. Ces technologies, déployées tant au niveau du support de stockage (par exemple 3DxPoint), de son interface (par exemple NVMe), voire de sa gestion logicielle (par exemple object store), implique une croissance importante de la complexité de la gestion du stockage. De plus, avec l’essor du “big Data”, de plus en plus d’applications traitent des masses importantes de données. Ces applications présentent des niveaux de criticité différents.

Dans ce contexte, nous nous proposons d’étudier et de proposer de nouvelles stratégies de placement de données à niveaux de criticité différents sur des systèmes de stockage hétérogènes et géo distribués. Nous explorerons, dans le cadre de ce projet, plusieurs techniques parmi lesquelles l’apprentissage automatique, l’apprentissage par renforcement ou des méthodes d’optimisation, afin de garantir un placement efficace en-ligne des données.

contact

Jalil BOUKHOBZA
Enseignant-chercheur
Responsable de la spécialité "Conception de Systèmes Numériques" (3e année)
Membre du Lab-STICC, pôle SHARP, équipe SHAKER

Equipe Architectures matérielles et outils de CAO (ARCAD)

ARCAD est une équipe pluridisciplinaire en électronique et informatique.

Raison d'être de l'équipe ARCAD : les objectifs applicatifs 

  • hautes performances
  • basse consommation d'énergie
  • haute sécurité (résistance aux attaques) et fiabilité (résistance aux pannes)
  • faible coût (petite surface et flexibilité par reconfiguration)
     

Axes de recherche au niveau des architectures matérielles

  • fonctions analogiques/numériques, unités de calcul, blocs IP
  • accélérateurs, processeur dédiés
  • architectures reconfigurables : CGRA, dédiées, virtuelles
  • architectures parallèles
  • architectures sécurisées, protections contre des attaques logiques et physiques
     

Axes de recherche au niveau des outils et supports logiciels 

  • CAO spécialisée : synthèse, P&R, génération d'opérateurs
  • synthèse de haut niveau
  • bibliothèques spécifiques proches de l'architecture
     

Compétences pluridisciplinaires en systèmes numériques, électroniques et informatiques

  • Systèmes embarqués
  • Sécurité informatique
  • Logiciel embarqué
  • Accélérateurs matériels / FPGAs
  • Co-conception
  • Processeurs
  • Compilation 
  • Codesign 
  • Adéquation algorithme architecture 
  • Prototypage 
exemples de projets
TrustGW, un projet national innovant pour sécuriser l’industrie 4.0

Aujourd’hui, le monde est de plus en plus connecté. Et l’industrie n’y fait pas exception. Les usines possèdent de plus en plus d’objets connectés (capteurs, actionneurs…) qui assurent en temps réel une veille sur le bon fonctionnement des machines en production. Les données collectées par ces objets sont ensuite envoyées à une machine informatique, appelée gateway , qui est capable de les analyser et de détecter d’éventuelles anomalies. L’ensemble de ce système permet d’assurer une maintenance prédictive. Seulement, la communication entre cette passerelle et les objets est vulnérable. En effet, les données transférées entre les objets commandables à distance et la gateway se fait au moyen de réseaux sans fil (wifi, bluetooth) qui peuvent être sujets aux cyberattaques.

Des technologies innovantes

Afin d’assurer le bon fonctionnement d’une usine, le projet national TrustGW a été lancé en 2021. Il regroupe ENSTA Bretagne, l’université Bretagne Sud, Irisa Rennes et IETR Rennes. Son objectif ? Mettre en place une solution de cybersécurité afin de protéger les données à la fois lors de leur collecte par l’objet connecté, lors de leur transfert à la gateway et de leur analyse. « L’originalité du projet est de développer une gateway reconfigurable et capable de traiter rapidement un très grand nombre de données issues de plusieurs  capteurs utilisant des réseaux sans fil différents (wifi, bluetooth…) », explique Pascal Cotret, maître de conférences au lab-STICC  et chargé de développer un prototype à destination des industriels.

Pour cela, les chercheurs utilisent notamment des composants électroniques FPGA, utilisés pour exécuter rapidement des algorithmes de chiffrement et de sécurisation des données sur des processeurs open-source RISC-V. Ils sont également moins vulnérables aux cyberattaques car reprogrammables au cours du temps. « Pour sécuriser davantage les données de la gateway, nous les cloisonnons selon leurs caractéristiques, en séparant par exemple celles issues d’objets connectés en bluetooth de ceux connectées en wifi. »

Les technologies développées au sein du projet TrustGW intéressent déjà de nombreux industriels, que ce soit pour la modernisation d’installations industrielles déjà existantes ou l’installation de nouveaux réseaux protégés au sein de leurs futures usines.
 

Protection contre le vol de propriété intellectuelle en Electronique : techniques d'obfuscation de code
  • Nom du programme de recherche : "Protection contre le vol de propriété intellectuelle en électronique : techniques d'obfuscation de code pour les chaînes de synthèse HLS en mode SaaS"
  • débuté fin 2017
  • financé par la région Bretagne
  • piloté par Jean-Christophe LE LANN (enseignant chercheur)
  • partenaire : Politechnico di Milano (école polytechnique d'ingénieurs de Milan)
  • thèse d'Hannah BOENNING BADIER soutenue en 2021

La doctorante et l’équipe ont exploré plusieurs pistes prometteuses en matière d'obfuscation (sécurité par l'obscurité), qui consiste à intégrer un « tatouage » discret dans un code informatique, à l'aide de techniques d'intelligence artificielle.

Ces travaux ont également conçu des chevaux de Troie afin de mieux comprendre les implications de telles menaces matérielles et d'envisager des parades au moment de la conception.

Jean-Christophe Le Lann : « Ces travaux originaux vont se poursuivre avec le soutien du Pôle d’Excellence Cyber. Ils intéressent la DGA et feront l’objet d’une seconde thèse qui débute en 2022. »
 

contact

Loïc Lagadec
Enseignant-chercheur
Département STIC
Lab-STICC, pôle SHARP, équipe ARCAD