-
MathWorks
Meudon Cedex
maintenant
-
Emenda
- Consultant en certification (Qualité logicielle)
2014 - maintenant
Accompagnement en certification Logicielle (ISO26262 - DO178B - FDA/IEC62304 - CENELEC - Common Criteria - PCI) et fournitures d'outils (Klocwork - VectorCAST - Lattix - Squore - Plastic SCM - Understand) pour le développement et la vérification des systèmes logiciels de haute intégrité.
-
Akka Technologies
- Ingénieur Design Process Assurance Software
Paris
2012 - 2014
Projet :
Au sein de la Division Technique « Certification & Systems Engineering » je suis en charge de proposer et suivre les phases de développement des logiciels embarqués pour les clients (systémier et/ou équipementier aéronautique) en vu de la certification DO178b/c.
Réalisations :
• Revue des jeux de plans nécessaires à la certification (PSAC, SDP, SVP, SCMP, SQAP, TQP et Requirements, Design & code standards)
• Accompagnement et expertise sur le processus et outils de développement « Model Based Design »
• Expertise sur les règles et bonnes pratiques de programmation en langage ANSI-C
• Réalisation d’audits/état des lieux pour s’assurer de la bonne prise en compte des exigences réglementaires (DO178b/c, Certification Memo, FAA Order…)
Bilan :
• Cette expérience me permet de consolider mes connaissances du processus de certification DO178b/c. L’accompagnement des clients (MITAC, Embraer) ou de leurs fournisseurs tout au long du processus de certification m’amène à confronter mon expertise à de nouveau processus de développement et élargir ma compréhension des problématiques projets dans un cadre de certification.
• Mon expérience sur les outils et méthode de conception par modèles (MBD) me permet d’apporter une vision critique sur les projets et proposer des adaptations des méthodes de travail afin de les préparer à une certification DO178b/c.
• Mes expériences sur les outils de conception et validation me permettent d’apporter des voix d’amélioration dans un contexte DO178b sur les processus de qualification des outils de développements ou de vérifications.
Environnement technique :
• Domaine : Développements Aéronautiques
• Normes et standards : DO178B/C, Certification Mémorandum, FAA Order
-
ISIT
- Resp. Business Unit Qualité Logicielle
Plaisance-du-Touch
2012 - 2012
Commercialisation des Produits, Services, Conseils & Formations (CA 900 k€)
• Développement d’un portefeuille de plus de 9000 sociétés.
• Gestion des relations fournisseurs sur les produits
• Recherche de nouveaux partenaires pour élargir la gamme produits
Expertise en qualité logicielle pour les applications embarquées et « Model Based Design »
• Compréhension des besoins techniques des clients et développement d’un portefeuille
• Conseil et accompagnement en certification, présentation des contraintes de développement engendrées par les normes et standards
-
MathWorks
- Ingénieur Commercial
Meudon Cedex
2011 - 2012
Développement des ventes de produits et services (CA 1 470k€) auprès des clients existants sur le territoire géographique et auprès de comptes nommés
• Accomplissement des objectifs, vente de produits (627 k€), suivi des maintenances (760 k€) et vente de services (80 k€).
• Entretien des relations clients au sein des comptes majeurs et du territoire géographique
• Définition des stratégies marketing en fonction des caractéristiques du territoire
• Suivi du cycle de vente, production, qualification, réponse aux objections et conclusion des ventes
• Collaboration avec les experts techniques, les équipes marketing, locales et internationales
• Utilisation d’un outil de CRM pour administrer les opportunités
-
MathWorks
- Ingénieur d'application (Application Engineer)
Meudon Cedex
2005 - 2011
Projet :
Maîtrise des outils : Vérification & Validation des applications embarquées critiques
Maîtrise des outils : Conception, Vérification & Validation « Model Based Design »
Réalisations :
• Rédaction d’exigences pour des logiciels automobiles «Software Quality Objectives for source code»
• Compréhension des défis techniques et des besoins des clients
• Démonstration des capacités des solutions, développement de preuves de concept
• Formation des futurs utilisateurs POLYSPACE, MATLAB, SIMULINK, STATEFLOW, EMBEDDED CODER.
• Audit de code C et C++ avec l’outil POLYSPACE dans les domaines : automobile, aéronautique, défense, ferroviaire, industriel
• Collaboration régulière en anglais (Ecrite et Orale) avec les équipes internationales de développement et de marketing
• Préparation et animation de séminaires et de Wébinaires
• Déplacements réguliers à l’étranger (Etats-Unis, Inde, Pologne, Espagne, Finlande) pour apporter du support aux clients, délivrer des formations, assurer des évènements marketing ou suivre des séminaire/formations.
Bilan :
• La rédaction des exigences pour des logiciels automobiles « SOFTWARE QUALITY OBJECTIVES », m’a permis de côtoyer différents acteurs dans un cycle de développement, que ce soit les donneur d’ordre ou des équipementiers de rang 1 ou 2. Ce projet a duré près de deux ans et j’ai eu en charge de récupérer les souhaits en matière de qualité logicielle des différentes parties et de les mettre en forme au travers d’un document rédigé en anglais. Ce document est désormais intégré au cahier des charges de certains constructeurs automobiles et doit être appliqué par leurs équipementiers. http://www.mathworks.fr/discovery/software-quality-objectives.html
• La promotion des différents outils de la chaîne de développement et de validation des outils MathWorks m’a permis de développer une forte connaissance technique de ces outils mais aussi mes qualités relationnelles.
• Mes expériences en tant que formateurs sur les outils de la chaîne d’outils MathWorks, m’ont permis de développer mes qualités pédagogiques et ce transfert de connaissances était enthousiasmant.
• Mes expériences d’audit de code m’ont permis de développer et asseoir mes connaissances techniques en matière d’outil d’analyse technique.
Environnement technique :
• Outils de test et validation : Polyspace, Simulink verification & validation, Simulink. Design Verifier
• Méthodes de validation : MIL, SIL, PIL, preuve formelle
• Outils de modélisation : Matlab, Simulink, Stateflow, Embedded Coder.
-
Valeo
- Stagiaire
Paris
2004 - 2004
02/04 – 09/04 VALEO – DIVISION ELECTRONIQUE ET INTERCONNEXION - D.E.I. - Créteil
CONCEPTION, REALISATION ET SUIVI D’UN PROJET d’un dispositif d’aide à la conception temps réel
• MAITRISE DES OUTILS MATHEMATIQUES
- Etude des outils de validation d’un Système temps réel à
Priorité fixe, avec des tâches préemptives, non préemptives,
FIFO, affectées de gigues et gérant des ressources partagées
- Mise en oeuvre des modélisations mathématiques des systèmes
temps réel dans une application adaptée aux contraintes
liées au domaine de l’automobile.
• PRISE EN CHARGE DE TOUTES LES PHASES DU CYCLE EN V
- Expression des besoins : réunions pour recueillir les besoins
spécifiques des ingénieurs Valeo
- Rédaction et validation des spécifications avec les futurs
utilisateurs
- Conception globale
- Conception détaillée
- Réalisation :
> C / cœur de calcul
> Visual Basic / IHM
- Tests unitaires.
- Tests fonctionnels.
- Validation (recette)
Environnement technique : C, Visual Basic, windows 9X, Visual Studio 6, Microsoft visual Basic, Excel, Outil mathématiques de validation de système temps réel, OSEK
-
Ingenico
- Ingénieur D'etude
Paris
2004 - 2005
INGENICO – Département IngID - Puteaux
Réalisation d’évolutions softwares sur la station d’enrôlement du citoyen (CES) Version 2
• Prise en main du système
- Auto-Formation à la programmation MFC (Windows CE & Windows Embedded)
- Suivi d’une formation sur la conception d’une image Windows CE
- Compréhension et assimilation du code préexistant (les automates, les systèmes de thread, l’IHM, les drivers,…)
• Réalisation de la version 2
- Portage du système, de Windows CE vers Windows Embedded XP
- Validation de travaux réalisés en sous-traitance.
- Evaluation et intégration de systèmes de recadrage de photo d’identités.
- Implémentation de module de lecture de carte (contact et sans contact) à base des technologies PCSC ou Smartcard.
- Conception d’un menu multi langage
- Mise en place d’un système d’une comparaison entre une emprunte digitale capturée par le capteur Cogent et une emprunte stockée dans une carte Oberthure.
- Apport de modifications graphiques inhérentes aux évolutions
• Adaptation de la station d’enrôlement pour différentes applications
- Adaptation du prototype en différentes déclinaisons (plate-forme d’enrôlement pour la sécurité sociale allemande)
Environnement technique : C++, Windows CE.net 4.20, Microsoft Embedded visual C++ (EMVC4), Windows Embedded XP, SCM Microsystems SCR335 (Contact Card Reader), Cogent Systems SA4-30 Optical Fingerprint Sensors, Integrated Engineering (Contact Less Card Reader)
INGENICO – Département IngID - Puteaux
Réalisation d’un échange de fichiers Minutie d’empruntes digitales sur FTP via le médium GPRS (terminal Ingenico 8500)
• Etude et intégrations des librairies LNet , LGSM et LFTP
- Etude des librairies
- Mise en place des fonctions exploitant ces librairies
• Prise en charge de la conception et de la validation
- Conception de la communication
- Validation du processus d’échange des données
Environnement technique : C, UNICAPT32 Operating system
