Développement de bancs de test en simulation et de tests physiques pour le firmware d’un FPGA dans le cadre du développement d’une nouvelle balise de détresse pour l’aviation commerciale.

• Rédaction des plans de test.
• Réalisation du banc de test VHDL et de scripts pour l’exécution et la collecte des résultats.
• Simulation comportementale et post-synthèse, mesure de couverture.
• Réalisation d’un banc de tests physiques et du logiciel de pilotage de l’exécution des tests.

Compétences générales :

• Électronique numérique
• Test

Cadres normatifs :

• DO-254

Langages de programmation et de description de matériel :

• VHDL
• Python
• Tcl

Cibles matérielles :

• FPGA Microchip

Outils de développement :

• Microchip Libero
• Modelsim
• Reqtify
• Subversion
• JIRA

Intégration de nouveaux protocoles dans un réseau propriétaire sans fil, bas débit et basse consommation pour l’IoT (LPWAN).

Cette expérience s’inscrit dans le prolongement des travaux réalisés entre 2016 et 2018 dans le cadre d’un poste en CDI chez Qowisio. La mission consiste à compléter le firmware des différents modèles de gateways du réseau Qowisio.

Compétences générales :

• Systèmes embarqués
• Électronique numérique
• Traitement du signal
• Radio logicielle

Langages de programmation et de description de matériel :

• C
• VHDL

Cibles matérielles :

• FPGA Xilinx
• FPGA/SoC Xilinx Zynq
• STM32

Systèmes d’exploitation :

• Ubuntu
• Yocto

Outils de développement :

• Chaîne de compilation GNU
• STM32CubeIDE
• Xilinx Vivado
• Xilinx ISE
• git
• GitLab

Adaptation du firmware FPGA d’une sonde ultrasonore portable pour applications médicales.

Objectifs :

• Compléter les fonctionnalités du design existant.
• Adapter le design pour interfacer un nouveau composant de pilotage de transducteurs ultrasonores.

Actions réalisées :

• Migration du projet vers une nouvelle version de la suite de développement.
• Adaptation du code SystemVerilog existant.
• Création de nouveaux modules sur la base de spécifications fournies
• Ajout de cas de test à la suite existante.
• Intégration des nouveaux modules et validation sur le matériel.

Compétences générales :

• Systèmes embarqués
• Électronique numérique

Langages de programmation et de description de matériel :

• Python
• SystemVerilog

Cible matérielle :

• FPGA Microchip Polarfire

Outils de développement :

• Microchip Libero
• git
• GitLab

Dans le cadre du service ingénierie de l’ESEO, développement matériel et logiciel au service des équipes de recherche. Participation à la formation d’ingénieurs.

Projet PREST (Plateforme Régionale de Surveillance Tellurique) en collaboration avec l’IPGP (Institut de Physique du Globe de Paris). Développement d’un interrogateur numérique pour capteurs optiques de déplacement, destiné à un observatoire sismologique.

• Rédaction des spécifications, conception.
• Prototypage des algorithmes de traitement du signal.
• Développement logiciel embarqué, pilotes, accélérateurs de calcul sur FPGA.
• Déploiement de deux équipements sur des sites d’intérêt sismologiques en Guadeloupe.

Projet Ortikat, en collaboration avec le groupe ZeKat (Ercogener, Lucio), HKTC Technologies, Cross Data.

• Développement d’outils numériques d’aide à la décision pour l’agriculture, s’appuyant sur de l’IA embarquée.
• Participation au montage du projet sur le volet académique.
• État de l’art des frameworks logiciels et des plates-formes matérielles pour embarquer des algorithmes d’intelligence artificielle.
• Évaluation d’une solution matérielle, analyse des performances et de la consommation d’énergie de différents algorithmes.

Enseignement à des élèves-ingénieurs. Coordination de l’équipe d’enseignants (permanents et vacataires) en électronique numérique.

• Cours et activités pratiques d’électronique numérique, FPGA, langages VHDL et Verilog.
• Cours et activités pratiques de Machine Learning pour l’embarqué.
• Création de supports pédagogiques utilisant les technologies du web : documents interactifs, simulateurs, jeux.

Compétences générales :

• Systèmes embarqués
• Électronique numérique
• Traitement du signal
• Machine Learning

Langages de programmation et de description de matériel :

• C
• Assembleur (ARM, RISC-V)
• Python
• Julia
• VHDL
• Verilog

Cibles matérielles :

• FPGA Xilinx
• SoC Xilinx Zynq
• STM32
• NXP i.MX 8

Systèmes d’exploitation :

• Ubuntu
• Yocto

Outils de développement :

• Chaîne de compilation GNU
• STM32CubeIDE
• Xilinx Vivado
• git

Langages de développement web front-end :

• HTML
• CSS
• SVG
• JavaScript

Développement d’un réseau propriétaire sans fil, bas débit et basse consommation pour l’IoT (LPWAN).

En collaboration avec les équipes de développement système et hardware, concevoir et réaliser le logiciel embarqué d’un équipement de réception et de décodage de messages numériques émis par des objets connectés sans fil. Cet équipement est aujourd’hui déployé et fait partie de l’offre commerciale de Qowisio.

• Prototypage d’algorithmes de traitement du signal et de radio logicielle.
• Développement logiciel embarqué, pilotes, accélérateurs de calcul sur FPGA.
• Suivi du déploiement et tests sur le terrain avec les équipes opérations et support.
• Documentation technique.

Compétences générales :

• Systèmes embarqués
• Électronique numérique
• Traitement du signal
• Radio logicielle

Langages de programmation et de description de matériel :

• C
• Assembleur ARM
• Python
• Julia
• VHDL
• Verilog

Cibles matérielles :

• FPGA Xilinx
• FPGA/SoC Xilinx Zynq
• Microcontrôleurs NXP (ARM Cortex-M)
• Raspberry Pi

Systèmes d’exploitation :

• Ubuntu
• Yocto

Outils de développement :

• Chaîne de compilation GNU
• GNURadio
• Xilinx Vivado
• Xilinx ISE
• git
• GitLab

Enseignement à des élèves-ingénieurs. Coordination de l’équipe d’enseignants (permanents et vacataires) en électronique numérique.

• Cours et activités pratiques d’électronique numérique, FPGA, langage VHDL.
• Architecture de l’ordinateur, microcontrôleurs.
• Introduction à l’ingénierie dirigée par les modèles.

Recherche en ingénierie dirigée par les modèles (IDM) pour l’embarqué. Collaborateur externe de l’équipe Systèmes Temps Réel de l’IRCCyN, Nantes (maintenant LS2N). Développement de langages dédiés (DSL pour Domain-Specific Languages) :

• Langage de description d’architectures de processeurs, générateur de simulateurs.
• Langage et interpréteur pour la modélisation des protocoles de communication.

Compétences générales :

• Systèmes embarqués
• Électronique numérique
• IDM

Langages de programmation et de description de matériel :

• C
• Assembleur 68000
• Assembleur ARM
• Java
• Xtend
• VHDL

Cibles matérielles :

• ARM7TDMI
• Microchip PIC
• Motorola 683xx
• FPGA Xilinx
• SoC Xilinx Zynq

Outils de développement :

• Chaîne de compilation GNU
• Microchip MPLab
• Xilinx ISE
• Xilinx Vivado
• Modelsim
• Eclipse
• git

Langages et frameworks de modélisation et de transformation de modèles :

• UML
• EMF
• ATL
• Xtext
• Acceleo

Thèse de doctorat en Sciences pour l’Ingénieur, soutenue le 10 décembre 2002 (diplôme délivré le 17 février 2003) : Méthodologie de conception de composants virtuels comportementaux pour une chaîne de traitement du signal embarquée.

Collaboration entre le LESTER (Laboratoire d’Électronique des Systèmes Temps Réel, maintenant Lab-STICC), le CNES (Centre National d’Études Spatiales) et Astrium (maintenant Airbus Defence and Space).

Ce travail de recherche s’inscrit dans le domaine du développement de System-on-Chips pour le traitement d’images embarqué dans les satellites d’observation de la Terre. Il propose l’utilisation d’outils de synthèse de haut niveau (HLS pour High-Level Synthesis) pour créer des composants réutilisables flexibles capables de satisfaire des contraintes variées (vitesse de calcul, surface de silicium, consommation d’énergie, etc).

Actions réalisées :

• État de l’art : modélisation et synthèse de circuits électroniques numériques, synthèse de haut niveau.
• Proposition d’une méthode de transformation des algorithmes de traitement du signal pour la synthèse de haut niveau sous contraintes de temps et de ressources.
• Étude de cas : développement d’un composant de transformation en ondelettes discrète pour la compression d’images au standard JPEG2000.

Compétences générales :

• Traitement du signal
• Traitement d’images
• Compression d’images
• Imagerie par satellite
• Électronique numérique

Langage de modélisation et de description de matériel :

• VHDL
• SystemC

Outils de développement :

• Modelsim
• Outils HLS de Mentor et Cadence

DEA SIBM (Signaux et Images en Biologie et en Médecine) de l’Université d’Angers.

Sujet de recherche : Compression réversible et irréversible d’images numériques de radiographie thoracique par transformation en ondelettes discrète.

Actions réalisées :

• État de l’art des techniques et des standards de compression d’images avec ou sans pertes.
• Implémentation de différents algorithmes de compression utilisant la transformation en ondelettes entière.
• Évaluation de ces algorithmes sur des images médicales.

Compétences générales :

• Traitement du signal et de l’image
• Compression d’images
• Imagerie médicale

Langage de programmation :

• Matlab
• C++

Diplôme d’ingénieur de l’École Supérieure d’Électronique de l’Ouest, approfondissement Traitement du signal et télécoms.

Certifications en langue anglaise :

• Test of English as a Foreign Language (TOEFL), niveau 620.
• Cambridge Certificate in Advanced English (CAE), niveau A.

Compétences générales :

• Électronique analogique
• Électronique numérique
• Informatique
• Traitement du signal
• Traitement d’images