Emna TRABELSI

En résumé

Entreprises

• Semantys - Consultant AMOA

  Boulogne-Billancourt 2015 - maintenant Conseil / Gouvernance SI / Analyse de la valeur
  
  •Recueil du besoin - Réalisation d’entretiens métier et technique
  •Estimation des charges et délais
  •Mesure de la performance du SI par les points de fonction
  •Aide à la décision (élaboration d'indicateurs)
  •Élaboration de cartographie fonctionnelle (architecture fonctionnelle)
  
  AMOA
  •Préparation et pilotage de la recette
  •Analyse des spécifications
  
  
  

• ANSALDO - Consultant MOE

  2014 - 2015 • Suivi du planning et mise à jour du plan d’actions
  • Elaboration des indicateurs et tableau de bord de pilotage
  • Gestion du référentiel documentaire du projet
  • Animation des ateliers avec les représentants métier et Reporting
  
  • Analyse des spécifications fonctionnelles (SFG, SFD, matrice des exigences)
  
  • Contrôle et suivi des livrables (Analyse des écarts entre les référentiels et les normes en vigueur)
  • Réalisations des études de démonstration (Analyse de Risques, AMDEC, Arbre de défaillance)
  • Validation et test du Logiciel (AEEL, RCC, matrice de traçabilité)

• SNCF - Consultant AMOA

  2012 - 2014 Performances de l’infrastructure pour la régularité des trains
  • Recueil des besoins et animation du dialogue avec les métiers
  • Analyse de l’existant (patrimoine des signalisations en Ile de France)
  • Rédaction d’un rapport d’étude mettant en évidence les composants critiques
  • Réalisation d’une cartographie des composants (Age, MCO, taux de panne, etc.)
  • Proposition d’un plan d’amélioration au regard des problèmes identifiées
  
  
  Assistance dans l’homologation de l’ERTMS N2
  • Gestion de projet (Gouvernance, Tableau de bord, Planning, Reporting, CR, coordination des chantiers divers…)
  • Reprise et rédaction des référentiels SNCF – sous système ERTMS Sol (RBC, GEST, SILAM, SICAM)
  • Analyse des écarts entre les référentiels SNCF et les documents du constructeur (ANSALDO STS)
  •Mise en place de la stratégie de recette (cas de test, jeux d’essai, matrice de traçabilité)

• INEXIA - Consultant AMOA /CONSEIL/ EXPERTISE Méthodes formelles

  CHAMBRAY LES TOURS 2012 - 2012 • Réponse à l’appel d’offre
  • Suivi du planning et mise à jour du plan
  • Benchmark multi secteurs (ferroviaires, aéronautique, automobile,…)
  • Reporting et comptes rendus d’avancement
  • Rédaction d’un état de l’art de l’utilisation des méthodes formelles et des techniques de modélisation
  
  

• RATP - Consultant AMOA

  Paris 2011 - 2012 Validation des Postes de Manœuvres Informatisées (PMI) des lignes 8 et 4 du métro
  • Analyse et vérification des graphes de signalisation
  • Vérification de la conformité des paramétrages logiciels
  • Validation des propriétés de sécurité par la preuve formelle des lignes 8 et 4 du métro.

• UPMC - LIP6 - Ingénieur d'étude

  2010 - 2010 Evaluation de la robustesse des systèmes critiques par preuve formelle
  • Etude et analyse de spécifications
  • Mise en place d’une plateforme de test générique
  • Simulation par injections de fautes au niveau des registres
  • Modélisation et validation par preuve formelle
  
  

• Faculté des Sciences de Tunis - Enseignante

  2008 - 2009 • Dispense des cours et examens C2I auprès des étudiants de 1ère année licence
  • Préparation des cours et TD
  

Formations

• Télécom Sud Paris (Ex-INT)

  Evry 2009 - 2010 Master recherche (Modèles, Optimisation, Programmation et Services)

• Faculté Des Sciences De Tunis (Tunis)

  Tunis 2007 - 2008 Master professionel

Réseau

• Ahmed ZGOLLI

• Alice BOCKENMEYER

• Armataffet CHARLES

• Bacem BELKHIRIA

• David RENAUD

• Hiba BOUKER

• Mohamed Amine SDIRI

• Nouha OMRANE

• Samuel CANU

• Walid FOURATI