Ainhoa APARICIO-MONFORTE

En résumé

Entreprises

• AKETYS pour SAFRAN Engineering Services - Ingénieur V&V

  2014 - 2014 Ingénieur Validation et Vérification (V&V) 03/2014 à aujourd’hui
  AKETYS (SSII) pour SAFRAN ENGINEERING SYSTEMS Groupe SAFRAN, bureaux de Montigny le Bretonneux
  http://www.aketys.com/
  Projet Train d’atterrissage de l’Airbus 350
  
  Responsable et référent des tâches de
  Vérification de livrables : Il faut que la documentation retraçant le lien entre exigences avioniques et tests de Vérification (PTVs) soit à jour, formellement consistente et fonctionnellement cohérente. Pour cela, j’ai mis en place un protocole permettant à partir d’une macro excel préexistante de repérer d’éventuelles erreurs au sein des documents de façon rapide et efficace. Ce protocole est d’autant plus important qu’auparavant la vérification des livrables n’était pas automatisée. De même, j’ai formé la personne qui va me remplacer à mon départ.
  
  Analyse d’impact : l’analyse d’impact consiste à vérifier comment les fiches de faits techniques mises en place pour améliorer le rendement, le format, la conformité formelle des planches SCADE ou la fonctionnalité des fonctions, impactent sur les fonctions du système. C’est à la suite de telles analyses d’impact que l’on est menés à rejouer certains tests de validation afin d’assurer le bon fonctionnement du code SCADE. J’ai mis en place un protocole permettant d’améliorer le processus préexistant. Dans des périodes de pic de travail j’ai été chargée de faire l’interface entre l’équipe et le client ainsi que de superviser le travail et la formation de quatre de mes camarades.
  L’équipe (Montigny) de Validation et Vérification travaille en coordination, avec SESI (Bangalore) et Messier-Bugatti-Dowty (Vélizy). Tous les membres de l’équipe sont censés être capables de réaliser, fut-ce sous la supervision du référent assigné, toutes les activités gérées par l’équipe. Ainsi je participe aussi aux activités ci-dessous :
  Relecture de tests de validation (PTVs) : Les PTVs sont rédigés pour Messier Bugatty Dowty par les ingénieurs de SES India pour le logiciel embarqué dans le train d’atterrissage de l’Airbus 350. L’équipe relit les PTVs pour assurer la cohérence formelle des tests et la conformité du code SCADE aux exigences avioniques contrôlant le train d’atterrissage de l’A350.
  
  QMTC : Repérage des trous de couverture par rapport aux fonctions liées aux différents systèmes du train d’atterrissage rencontrés par SESI pendant l’exécution des tests de validation sur banc de test. Les résultats de ce process sont consignés alors dans des livrables officiels qui contiennent la liste exhaustive de toutes les justifications.
  
  Rédaction de documentation officielle au format MBD : Gestion des pages de garde, en-têtes, ajout de PTVs génériques et d’analyse pour chaque version de chacun des standards.
  
  Rédaction de PTV d’analyse : Un PTV d’analyse est une justification circonstanciée, spécification des exigences et leurs planches SCADE associées à l’appui, d’un trou de couverture qui est dû aux limitations imposées du banc d’essais (en général aux valeurs attribuables aux variables d’entrée) dont dispose SESI.
  Un PTV d’analyse est donc une justification de non testabilité par SESI qui éventuellement peut donner lieu à une exécution des tests par MBD.
  
  Technologies utilisées : SCADE/ Word/ Excel
  

• Université de Lille - ATER plein

  2012 - maintenant Enseignements :
  Mathématiques des files d'attente et des graphes aux futurs ingénieurs de TELECOM Lille.
  Programmation en C : séances de TP et de projet (2 projets le premier portant sur un jeu ordinateur simple le second portant sur un logiciel de représentation graphique de fonctions).
  Introduction aux bases de données : requêtes SQL.
  Introduction aux langages html et php.
  

• Research Institute for Symbolic Computation - Post-Doc

  2011 - 2012 Recherche en Mathématiques. Programmation. Calcul formel.

• Accenture - Junior Programmer

  Paris 2005 - 2007 Junior Programmer en SAP DP et Manugistics.
  Expérience SAP/DP : Rôle de maintenance d'un module de SAP/DP déjà installé auprès de Hewlett Packard pour la gestion des stocks au niveau mondial. Mise au point de mises au jour automatisées, Mise en place d'infopackages et supervision des mises à jours manuelles périodiques des données. Résolution et documentation d'incidences techniques et fonctionnelles rencontrées en production par les clients. Transmission de technologie auprès des collègues indiens chargés de prendre le rôle de helpdesk auprès de HP au terme de la mission de notre équipe.
  
  Epérience Manugistics : mise en place de l'outil Manugistics de Demand Planning auprès de plusieurs clients dont Pepsico et British Petroleum. Contrôle des mises à jour de données mensuelles. Surveillance de la qualité des données et nettoyage de celles-ci. Mise en place de batch scripts de mise à jour automatique des bases de données.
  Résolution de problèmes techniques auprès des clients, rôle de helpdesk et de résolution d'incidences.
  Elaboration de formulaires automatisés pour la génération de reporting à partir des données mensuelles.
  Exploration des données, nettoyage de l'histoire et mise en place d'outils d'inférence pour la prévision de la demande.
  Reporting hebdomadaire de problèmes résolus et en cours.
  Formation de nouvelles recrues.

Formations

• Université De Limoges Faculté Des Sciences Et Techniques

  Limoges 2007 - 2010 Thèse Doctorale
  
  Pendant ma thèse j'ai travaillé sur le problème consistant à donner des méthodes algorithmiques symboliques (non numériques) permettant de décider si le comportement des problèmes tirés de l'astronomie est prévisible (intégrable) ou pas (non-intégrable, chaotique).
  L'intitulé de mon mémoire de thèse est "Méthodes mathématiques pour l'intégrabilité des systèmes Hamiltoniens.

Réseau

• Alain PAYSANT

• Annie-Claude TRACHMAN

• Laurent BERVAS

• Mame Mbarou NDAW

• Mickaël WANG

• Moulay Ahmed DAOUD

• Olivier LUISETTI

• Pierre-Louis CAYREL

• Said ALLA

• Valentin SENICOURT