Martin Brochet

Depuis juin 2005 Ingénieur d'application The MAthWorks - PolySpace
Conseils en méthode et outils autour d’applications embarquées temps réel à haut degré de criticité dans des domaines industriels majeurs :
• Consulting et conseil pour l’intégration de PolySpace dans les environnements client
- Dans l’environnement de développement (MED, Code Writte, Eclipse, …)
- Dans la gestion de configuration (CVS, PVCS, Clearcase, …)
- Dans un environnement Model Base Design (Matlab/Simulink)
- Dans un environnement UML (Statemate/Rhapsody).
• Audit de codes dans différents cadres :
- Avant vente.
- Analyse de projets dans leur intégralité.
- Recette fournisseur.
- Analyse de codes sensibles sur site client.
• Restitution des résultats :
- Rédaction de rapports.
- Présentations PowerPoint.
- Présentations Orales.
• Démonstration de l’outil Polyspace chez les clients
• Interlocuteur Technique privilégié des clients.
• Support technique aux commerciaux.

• Automobile : déploiement de l’outil et formation du personnel chez un grand équipementier.
• Aéronautique : aide à la validation de codes d’un acteur majeur dans le développement de l’A380.
• Défense : assistance à la recette d’un code sous-traitant pour un industriel français d’armement
• Électronique grand public : analyse de codes dans le cadre d’avant vente chez un acteur majeur des produits et systèmes pour l’installation électrique et réseaux d’information.
• Ferroviaire : déploiement de l’outil pour la validation des équipements de signalisation embarqués et terrestres sur le projet TGV-Est.
Environnement technique :
Langages : C/C++/ADA, Perl, shell
Systèmes : Red hat (9, WS, …), Cygwin,
Outils : Polyspace verifier, Polyspace Viewer,
Gestion de configuration : CVS, PVCS, Clearcase
IDE de développement : MED, Code Writte, visual, eclipse
Model Base Design : Matlab Simulink
UML : Statemate Rhapsody

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

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