Menu

Sana JABRI

MONTEVRAIN

En résumé

Ingénieur FDMS dans le ferroviaire (ERTMS)

Mes compétences :
Modélisation
Modélisation des systèmes
Transports
Signalisation ferroviaire
Preuve formelle
Fiabilité, Maintenance, Disponibilité, Sûreté de f
ERTMS
Enclenchement

Entreprises

  • Thales Transport and Security - Ingénieur FDMS CBTC

    2016 - maintenant

  • ANSALDO STS / IKOS Consulting - Ingénieur FDMS Consultant chez Ansaldo STS

    2010 - 2016 Activités de sureté de fonctionnement: APR, RR, ARS, ARI, Cross acceptance, Analyse fonctionnelle, AMDEC, Dossier de sécurité
    Enclenchement: spécification, vérification et validation
    Principes RBC principles, Principes EVC
    RBC- IL interface, CTC-IL interface
    Activités chez Ansaldo:
    Mise au point du processus associé à la preuve formelle
    Vérification et reformulation des exigences (SRS) client pour la preuve formelle avec PROVER en langage HLL
    Relecture de modèles SCADE
    Coordination des activités de preuve formelle réalisées en interne et par PROVER
    Vérification et traduction des exigences (SRS) client pour la preuve formelle avec PROVER en langage HLL
    Support technique en signalisation pour la traduction des exigences client en langage HLL par PROVER Technology
    Échanges techniques avec le client et avec les autres équipes du projet
    Analyse des protocoles utilisés dans le projet et évaluation de la compatibilité par rapport à la norme EN50159-2 (SACEM Protocol)

  • IFSTTAR / Ecole Centrale de Lille - Thèse de Doctorat

    2006 - 2010 Thèse de Doctorat sur le thème : Génération de scénarios de tests avec application au système européen de signalisation ferroviaire, ERTMS
    Étude de l’architecture du système ERTMS niveau 2
    Modélisation Objet de la structure statique du système ERTMS (diagrammes de classes UML)
    Etude des étapes de mise en exploitation du système ERTMS selon la norme EN50126
    Modélisation Objet des Spécifications ERTMS
    Transformation des modèles Objet vers des modèles formels en Réseaux de Petri
    Etat d’art sur les différentes méthodes de vérification et de validation dans le cadre de systèmes réactifs (tel que le système ERTMS) : test, model checking, theorem proving,...
    Choix de la technique de test comme méthode de vérification et de validation
    Développement de scénarios de test à partir de modèles formels
    Sélection de scénarios de test pertinents et étude de leur couverture
    Exécution des scénarios de test sur la plate-forme ERTMS de l’ERSA
    Illustration de l’approche par des exemples de Start of mission du train, de demande d’ouverture de session de communication entre EVC et RBC et de demande d’autorisation de mouvement de l’EVC au RBC

  • INRETS, Lille - Allocataire de recherche

    2006 - 2010

Formations

  • Ecole Centrale De Lille

    Villeneuve D'Ascq 2006 - 2010 Thèse de Doctorat en Automatique et Informatique industrielle

    Sujet de la thèse : Génération de scénarios de tests avec application au système européen de signalisation ferroviaire, ERTMS
    Thèse soutenue le 22 Juin 2010 à l’école Centrale de Lille

  • Ecole Centrale De Lille

    Villeneuve D'Ascq 2005 - 2006 Master Systèmes d'informations et ingénierie de la conception

  • INSAT (Institut National Des Sciences Appliqués Et De Technologies) (Tunis)

    Tunis 2000 - 2005 Ingénieur en Génie logiciel

Réseau

Annuaire des membres :