Menu

Emna TRABELSI

Boulogne-Billancourt

En résumé

Mes compétences :
Signalisation ferroviaire
Points de fonction
Fiabilité, Maintenance, Disponibilité, Sûreté de f
Gouvernance
Preuve formelle
Analyse fonctionnelle
Gestion de projet

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

Annuaire des membres :