Ibrahim CHERIF

En résumé

Entreprises

• IKOS Consulting - Validation du Paramétrage

  LEVALLOIS PERRET 2015 - maintenant Projet LGV SEA :
  Validation du paramétrage SEI LGV SEA.
  
  Chez : ANSALDO STS France - Les Ulis

• IKOS Consulting - Ingénieur sûreté de fonctionnement

  LEVALLOIS PERRET 2013 - 2014 Projet OCTYS - Métro de Paris L3 :
  Analyse sécurité du Pilote Automatique Sol (PAS), et du FRONTAM, pour des nouvelles évolutions des deux logiciels, suite à des demandes RATP.
  (analyse de la spécification, SCADE, Code ADA, Catalogues de Tests, Demandes de Modifications …).
  
  Projet CBTC RedLine - Métro de Stockholm :
  Analyse par relecture de l’ensemble du modèle SCADE du PAS (conformité SCADE - SFD).
  
  
  Chez : ANSALDO STS France - Les Ulis

• IKOS Consulting - Vérification du SCADE

  LEVALLOIS PERRET 2013 - 2013 Projet OCTYS - Métro de Paris 5 :
  
  Modernisation du Pilote Automatique (ATP) du logiciel PAE d’AREVA TA.
  Vérification par preuve d’équivalence de la conformité du logiciel ATP modélisé en SCADE avec le Dossier de la Spécification Logiciel (DSL).
  
  Chez : RATP AQL - Fontenay-sous-Bois.

• Airbus - Stage - Preuve Formelle

  Blagnac 2012 - 2012 Stage dans le cadre de la préparation d'un mémoire de fin d'étude pour le master 2.
  Sujet : « terminaison interactive de preuve de programme avionique sous Coqide».
  Vérification par preuve d'un sous ensemble, logiciel critique avionique, en utilisant un système frama-c -wp. Terminaison de preuve sous Coqide.

Formations

• Université Paris 7 Denis Diderot

  Paris 2011 - 2012 Master 2 Logiciels Critiques - informatique Professionnel

• Université Paris 7 Denis Diderot

  Paris 2010 - 2011 Master 1 Logiciels Critiques - informatique Professionnel

Réseau

• Georges DIAS

• Giulia HUELLER

• Natacha SURGET

• Richard ARLANDA

• Samuel CANU

• Sébastien SEGUY

• Sophie BERRETTINI