Atego
- Ingénieur R&D et responsable technique de projet
2008 - maintenant
AND4SE - (En cours) Conception et développement d’une chaîne d’outils de développement de système sécuritaire embarqué dans le projet collaborative Briques Génériques du Logiciel Embarqué (BGLE) -ADN4SE (Atego, Alstom Transport, BA Systèmes, CEA, CETIM, Delphi, INRIA, Itris, Krono-Safe, LCIS, Obeo, Schneider, See4Sys, Sherpa, Sprinte).
ToucHMore - (En cours) Outillage automatique et personnalisable de code embarqué sur la plateforme multi-cœur hétérogène
dans le projet Européen FP7/ToucHMore (Atego, CEA, CSEM, Université de York, Université de Vérone, Université de Turin, Akhela).
REGEMP - Montage d’une proposition de projet de recherche ANR-REGEMP (appel de l’édition 2011) dans l’objectif d’améliorer le ramasse-miette temps-réel sur l’architecture embarquée multi-cœur (Atego, CEA, INRIA)
CBDP - Extension et maintenance d’une plateforme modulaire d’intelligence ambiante basé sur l’ontologie et OSGi dans
le projet Européen Celtic-FEDER/CBDP (Atego, Supelec, Trialog, Acciona, Indra, Televés, Turkcell, Caretta, Tagzania,
CodeSyntax, Université de Deusto, Nobilera, ESI).
Ada2Java - Outillage de la communication Java vers Ada dans le projet OSEO2/Ada2Java.
IMOFIS - Outillage de l’ingénierie système et de modélisation des exigences de sécurité dans le projet IMOFIS (Alstom, Renault, Obeo, Systerel, Atego, CEA et UTC).
TeCOM - Conception et développement d’un environnement d’exécution Java sécurisé au sein du consortium Européen FP7/TECOM (Atego, Technikon, Infineon, Amtec, Trango, Université de Dresden, Sysgo, Sirrix, EADS, Mixed Mode et Trusted Logic).
CRIL Technology
- Ingénieur logiciel et chef de projet
2006 - 2007
Gene-Auto - Conception et développement d’un générateur de code automatique d’un langage synchrone du type SCADE/Simulink vers le langage C dans un objectif de certification DO178C au sein du consortium GENE-AUTO (Siemens VDO, EADS/Astrium, Airbus, Alcatel Alenia Space, Barco Avionics, Israel Aerospace Industries, INRIA, FéRIA, TUT, CRIL Technology et IBKrates).
AVERILES - Intégration des outils de vérification statique de programme embarqué en C utilisant de la mémoire dynamique à base des automates sur une plate-forme commune des outils d’automates CALIFE dans le cadre du projet de recherche RNTL AVERILES.
PROUVE - Développement d’un plug-in Eclipse de simulateur d’attaque des protocoles de transfert de données cryptées dans le cadre du projet de recherche RNTL PROUVE.
OPLIsolé - Support pour une application multi-threadée (OPLIsolé) de coordination de surveillance (en C++).
OPLRoute - Re-développement d’un routeur (OPLRoute) (en C++) dans le cadre d’une migration de Windows vers Linux.