Sana JABRI

En résumé

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

• Amine SOUABNI

• Benjamin CHARPENTIER

• David LILING

• Karim BERRADA

• Lemaire ETIENNE

• Malwina JAKUBOWSKA

• Mehdi SOUA

• Oussama GAIECH

• Samuel CANU

• Sylvain NAULLEAU