Thomas LERMINET

En résumé

Entreprises

• SoftBank Robotics Europe - Ingénieur Investigation SW IB

  2018 - maintenant

• Altran France - Consultant en ingénierie logiciels pour Escalation SW IB chez SoftBank Robotics Europe

  Vélizy-Villacoublay 2017 - 2018

• Altran France - Consultant en Validation QA chez SoftBank Robotics Europe

  Vélizy-Villacoublay 2015 - 2017 Validation des produits du robot Pepper en Software QA d’SoftBank Robotics Europe.
  
   Réalisation des cas de tests automatiques du logiciel de manipulation du Robot via Squish
  
   Mise à jour des scripts de cas de tests pythons qui testent l’ensemble des méthodes
  
   Mise en place de tests Sanity sur les livrables de SoftBank Robotics Europe
  
  Back-up du Team-Leader Validation pour le management des activités de l'équipe.

• Snecma - Ingénieur Validation

  Courcouronnes 2015 - 2015 Domaine de compétences : Validation Software
  Intitulé de l’intervention : Test des exigences Software du modèle CSAS du démonstrateur SAGE2 Open Rotor
  
  Objectif(s) :
  
  • Réaliser des procédures de tests afin de vérifier l’implémentation des exigences Software dans le modèle CSAS dans le cadre du projet SAGE2 Open Rotor
  
  Réalisation(s) :
  
  • Ecriture de cas de tests à partir des exigences Software par fonction :
  o A partir du document d’exigence Software, définition de l’ensemble des cas de tests permettant la couverture complète de l’exigence.
  o Renseignement des valeurs d’inputs et d’output à atteindre
  
  • Génération de procédures de test permettant la vérification des cas de tests par fonction :
  o Création d’un fichier Matlab, à partir du fichier de cas de test, permettant de simuler les données sur le modèle.
  o Vérification de la bonne concordance entre valeurs réelles et valeurs attendues.
  o Mise à jour de fichier de cas de tests avec les résultats obtenus
  o En cas d’écarts, création d’un rapport de problème pour correction du modèle.
  o Génération d’un fichier de résultat regroupant l’ensemble des données simulées (inputs & outputs)
  
  • Relecture de cas de tests et de procédures de tests afin de contrôler la couverture complète des exigences Software à traiter. Rédaction d’un fichier de revue et d’une Checklist de correspondances aux exigences DO 178B
  
  Résultat(s) :
  
  • Validation des différentes fonctions du Software à tester par la vérification de la présence de couverture complète des exigences Software via les procédures de tests et les cas de tests.
  
  • Vérification et validation de la qualité du travail de l’équipe Test par la relecture des procédures de tests et des cas de tests. Respect des demandes de la norme DO 178B
  
  • Traçabilité des différentes versions de procédures de tests grâce à la gestion de configuration.
  
  Environnement(s) technique(s) :
  
  • Matlab Simulink
  
  • Excel

• Snecma - Ingénieur Modélisation

  Courcouronnes 2015 - 2015 Domaine de compétences : Modélisation Système
  Intitulé de l’intervention : Développement de modèles pour la régulation du démonstrateur SAGE2
  
  Objectif :
  
  • Développement d’une modélisation MATLAB Simulink/Simscape d’un Modèle Moteur Régulé (MMR) dans le cadre du projet SAGE2 Open Rotor.
  
  Réalisations :
  
  • Développement de la partie Pitch Pump :
  o Modélisation d’une pompe à déplacement pour la partie Oil Module.
  o Adaptation et comparaison entre deux modélisation de pompes : l’une sous Amesim, l’autre sous Simscape.
  o Intégration de la pompe dans le modèle développé MMR
  
  • Génération de code des fichiers Simulink pour modifier massivement des paramètres ;
  
  • Génération de code pour créer de nouveaux éléments dans les modèles Simulink inséré dans la bibliothèque projet;
  
  Résultat(s) :
  
  • Modélisation d’une pompe fonctionnelle insérée dans le modèle global MMR.
  
  • Gestion des paramètres globaux du modèle via un unique fichier.
  
  Environnements techniques :
  
  • MATLAB/Simulink
  
  • Word
  
  • Amesim

• Altran France - Ingénieur Validation

  Vélizy-Villacoublay 2015 - 2018

• THALES - Stage Ingénieur Air Traffic Management

  Courbevoie 2014 - 2014 Objectif(s) :
  
  Définition d’une méthode de détection d’erreurs à l’aide de propriétés de sécurité par les méthodes formelles (et plus particulièrement les Réseaux de Pétri).
  
  Réalisation(s) :
  
  • Formalisation d’une structuration du paramétrage existant au niveau système et son raffinement dans les niveaux inférieurs :
  o Arbre de dépendances entre les composants Softwares
  o Arbre de dépendances entre Software et Middleware
  o Arbre de dépendances interne à chaque composant
  
  • A partir des arbres de dépendances, définition des propriétés de sécurité et d’une méthodologie automatisée de détection des propriétés de sécurité :
  o Mise en œuvre de moyens de réduction du risque (Réseaux de Pétri)
  
  • Validation de la faisabilité d’une vérification de ces propriétés de sécurité
  
  Résultat(s) :
  
  Création de tests plus robustes concernant le paramétrage (pertinent aussi bien pour l’équipe Safety que les équipes des composants concernés).
  
  Réduction du nombre d’erreur par une démonstration logique de l’impact des paramètres de sécurité sur le système.
  
  Environnement(s) technique(s) :
  
  • Système : Windows
  • Preuves formelles : Réseaux de Pétri
  • Outils : Visio, Bureautique
  

• THALES - Stage

  Courbevoie 2013 - 2013 Objectif(s) :
  
  Créer un nouveau type de test en synthétisant un plan de voie sous la forme de graphe puis d’utiliser les SAT Solver pour vérifier que l’équation générée par ce graphe répond aux standards Safety.
  
  Réalisation(s) :
  
  • Compréhension des transformations de Tseitin dans la Logique Combinatoire, la Logique Booléenne et la définition de formules booléennes sous la forme normale conjonctive (FNC), unique forme d’équation lue par les SAT Solver
  
  • Développement d’un programme en C de transformation, en FNC, d’équations de graphes représentant les plans de voies et d’équations de propriétés Safety
  
  • Interfaçage du programme en C avec le SAT Solver en lui fournissant des fichiers au format «.for »
  
  • Rédaction la documentation du programme en anglais, suivi de la gestion de configuration avec Git
  
  Résultat(s) :
  
  Vérification du développement à l’aide des fichiers tests.
  
  Environnement(s) technique(s) :
  
  • Système : Unix
  • Preuves formelles : SAT Solver
  • Outils : Emacs, Bureautique
  • Gestion de configuration : Git
  

• PERNOD - Stage ouvrier

  2012 - 2012 Conditionnement et Maintenance sur chaine d'embouteillage
  
  - Opérations et travaux effectués en respectant les procédures (fonctionnement, qualité, sécurité et hygiène), travail par objectifs de production, interventions sur incidents...
  
  - Découverte des relations et conditions de travail: solidarité ouvrière, relations avec les chefs, pénibilité et répétitivité des tâches,

• BETCLIC Londres - Knowledge Management

  2011 - 2011 * Travail en commun de plusieurs équipes sur un projet sous la direction d'un chef de projet ;
  * Rédaction en anglais d'aides en ligne pour le Back Office du site, actualisation des User
  Manuals.
  Expériences associatives:

• ECE Paris Ecole d'Ingénieurs - Trésorier du Bureau Des Elèves

  Paris 2011 - 2012 * Recherche de partenariats et d'offres « bons plans », animation d'une équipe de 6 personnes,
  réalisation d'un guide de bonnes pratiques de démarchage téléphonique »...
  * Etablissement et gestion du budget Evénements et Communication de 30 000 EUR , contacts avec
  les banques, négociation d'avantages étudiants,

Formations

• University Of California, Irvine (Irvine)

  Irvine 2013 - 2013 Management
  
  Global Management & Manufacturing program

• Concordia University (Montréal)

  Montréal 2011 - 2011 Management, electronic & computer sciences

• ECE Paris

  Paris 2009 - 2014 Ingénieur Transport & Mobilité
  
  Troisième année cycle ingénieur à l'ECE, Majeure Transport & Mobilité, projet
  de fin d'étude d'application Web de simulation de données de BHNS (banc
  d'essai EBSF, réseaux CAN), Managment Summer School à UC, Irvine.

• Lycée Le Bon Sauveur

  Le Vesinet 2006 - 2009 Baccalauréat S mention assez bien

Réseau

• Anne THIEBOLD

• Ausy SYSTEMES EMBARQUES ET ELECTRONIQUE

• Bertrand DAUTUN

• Christian QUENAN

• Julie LAUTIER

• Kevin SAUVAGE

• Maxime SOULEYREAU

• Nawel HADJ SAID

• Renaud LAROCHE

• Yassine NACERI