Expériences

IT Consultant

ITEMIS AG
Depuis juin 2017

Chercheur Assistant

OFFIS
Janvier 2016 à mars 2017
  • Services de conseil pour l'institut royal de technologie de Stockholm KTH
  • Développement d'une chaîne d'outils pour des requêtes Cycle de Vie basée sur le standard OSLC
  • Contribution en cours au projet Eclipse Lyo
  • Expérience avec les technologies big data: bases de données RDF (triplestores) et SPARQL en tant que standard et langage de requêtes
  • Participation au projet de recherche AMALTHEA4public
  • Développement à base de JAVA / les librairies Lyo OSLC4J , Apache Jena ARQ et OpenRDF Sesame en tant que librairies client et de technologie triplestore open-source compatible avec le standard HTTP SPARQL

Chercheur Assistant

OFFIS & Université de Carl von Ossietzky d'Oldenburg, Département d'informatique
Janvier 2015 à décembre 2015
  • Participation au projet de recherche AMALTHEA4public financé par ITEA3, continuation du projet AMALTHEA visant le développement d'une platforme d'outils open source pour l'ingénierie de systèmes embarqués multi-core
  • Développement d'un adapteur pour la platform pour des scénarios d'intégration à base du standard OSLC
  • Développement d'un moteur de requêtes SPARQL pour les modèles EMF à base d'Apache Jena
  • Contribution en cours au projet Eclipse APP4MC
  • Participation au projet CSE (CSE: Centre interdisciplinaire de recherche dans l'ingénierie de Systèmes critiques pour les systèmes socio-techniques)
  • Intégration d'une chaîne d'outils interopérable basée sur des techniques de recherche, IBM DOORS et l'outil BTC Embedded Specifier pour la formalisation et l'analyse de la consistance d'exigences. Intégration basée sur le standard OSLC
  • Développement à base du Framework de Modeling Eclipse, les libraires Lyo OSLC4J et Apache Jena ARQ

Chercheur Assistant

OFFIS
Janvier 2013 à décembre 2014
  • Participation au projet de recherche MBAT: Model-Based Analysis and Testing. Projet de recherche financé par: the ARTEMIS Joint Undertaking
  • Rédaction et revue de livrables projet et participation à des réunions avec les partenaires projet
  • Management et rédaction de plusieurs articles scientifiques revues par des pairs et présentation de deux de ces articles dans des conférences européennes
  • Contribution au développement d’un système d’analyse de la sûreté de fonctionnement d’un logiciel critique à base de modèles d’injection de fautes et Model Checking (Model-Based Safety Analysis)
  • Extension du standard OSLC pour l'intéropbilité des outils de gestion de cycle de vie en partenariat avec des acteurs majeurs de l'industrie logiciel e.g. DASSAULT systems
  • Recherche de l'état de l'art en matière de la gestion de l'impact d'une mise à jour dans le test
  • Conception d'un algorithme de génération de cas de tests à partir d'un modèle de test et de cas de test existants
  • Spécification, développement et test de la solution proposée
  • Prise en main d'un environnement de gestion automatisée du cycle de vie d'un logiciel
  • Etude de divers robots de test d'applications Eclipse RCP
  • Prise en main du logiciel MaTeLo
  • Mise en place d'un processus d'automatisation de la génération et l’exécution de cas de tests pour des artefacts logiciels nouvellement créés par l’usage de modèles et de robots de test

Formations

Master 2 en ingénierie des systèmes et management de projet. Mention: qualité et sûreté de fonctionnement des systèmes informatiques (ex QUASSI) (Double diplomation)

Institut des sciences et techniques de l’ingénieur de l’université d'Angers, France
Septembre 2011 à septembre 2012

Ingénieur: génie informatique

Ecole nationale des sciences appliquées de Tanger, Maroc
Septembre 2009 à septembre 2011

Diplôme d'études supérieures en sciences et techniques

Faculté des Sciences et Techniques de Tanger, Maroc
Septembre 2007 à septembre 2009

Compétences

  • Arabe: langue maternelle
  • Français: bilingue
  • Anglais: excellent
  • Allemand: intermédiaire, niveau B1
  • Espagnol: intermédiaire
  • OSLC (Open Services for Lifecycle Collaboration)
  • UML Testing Profile
  • OAuth 2.0
  • SPARQL
  • UML, Merise
  • Restful Services
  • Gestion de risques : AMDEC
  • Analyse de sûreté de fonctionnement : Arbres de défaillance, Injection de fautes, Model Checking
  • MaTeLo, Model-Based Testing
  • C, C++(QT)
  • JAVA (Swing, SWT)
  • HTML
  • SQL, SPARQL
  • Eclipse Framework (Rich Client Platform, Eclipse Modeling Framework), Eclipse Lyo
  • Apache Jena
  • Subversion, Git
  • MySQL, Oracle (10g, 11g), SQLite, Apache Jena TDB / Fuseki, Eclipse RDF4J, Stardog triplestore
  • Matlab Simulink / Stateflow
  • IBM DOORS Next Generation, IBM Rational Quality Manager, IBM Jazz Team Server
  • BTC Embedded Specifier