Method and system for handling blind sectors of scanning layers of
redundant sensors in a vehicle. Voir patents.google.com
ou patents.justia.com
Expériences professionnelle
Fév. 2017 - …
EasyMile.
Logiciel embarqué temps réel, Simulation de capteurs et de
l’environnement (C, Haskell, Lua, Python, Ethernet, CAN, Linux)
Études, innovation
Sopra Utilisation de langages fonctionnels
(Haskell, OCaml, F#) pour modéliser des systèmes embarqués temps réels
Algorithmes génétiques pour la génération automatique de tests
unitaires
Août 2015 - Jan. 2017
Sopra : simulation temps réel Airbus : simulation
temps réel de calculateurs de vol intégrée au simulateur global de
l’A380 (Simics, Power PC, Linux, AFDX)
Sept. 2014 - Jan. 2017
Sopra : Essais en vol Airbus : optimisation du
réseau Wi-Fi, OS Linux temps réel, évolutions du système d’acquisition
et d’analyse des données enregistrées en vol
Fév. 2014 Jan. 2015 - June 2015
Sopra : Expérimentation avec le PIC32 de Microchip
Airbus : étude et évaluation d’une architecture temps réel pour des
modules d’acquisition de paramètres physiques (PIC32, synchronisation
d’horloges) Sopra Espagne, Fermax (Valencia) : étude de faisabilité
d’un interphone VoIP
Oct. 2013 - Mars 2014
Sopra : générateur qualifié de loads ARINC 665
Thales Avionics : conception et codage en C, système générique de
formatage de données
Sept. 2012 - Août 2014
Sopra : banc de test temps réel, modulaire, scriptable
en Python Thales Optronique : conception, codage et test. Noyau
temps réel en C++ (Windows, RTX), modules d’entrées/sorties génériques,
configuration et comportement du noyau et des modules en Python
(interpréteur embarqué)
Avr. 2012 - Oct. 2012
Sopra : simulateur d’OMS (On Board Maintenance System),
DO-178B, Python Liebherr Aerospace : conception, developpement et
test d’un OMS (simulateur ARINC 604 en Python, interface ARINC 429),
environnement de test scriptable en Python, simulation du LRU pour la
validation de l’OMS, génération automatisée de la documentation en
Python et reStructuredText (Sphinx, résultats de test, traçabilité)
Mai 2001 - Juin 2014
Sopra : embarqué, temps réel, D0-178B Liebherr
Aerospace : génération semi automatique de tests unitaires en Python
pour RTRT Thales Avionics : commandes de vol A320, spécification,
conception, codage, tests Airbus : commandes de vol A380, A350,
spécification, conception, codage, tests (en France et formation d’une
équipe en Inde) Airbus : simulateur de microprocesseur (Python,
parcours de graphe, calcul de WCET et analyse de pile) Airbus :
études de sûreté de fonctionnement
Oct. 1998 - Mai 2001
Sopra CNRS, Laboratoires Pierre Fabre :
informatique de gestion, bases de données