Abderraouf BENYAHIA

En résumé

Entreprises

• Itemis France - Ingénieur logiciel senior

  2015 - 2016 -Développement produit Yakindu Traceability
  -Développement et Intégration d’un module Eclipse CDT
  -Développement et Intégration d’un module EMF Compare
  -Test et évaluation de performance de passage à l’échelle
  -Développement UI d’un mécanisme de Dropin basé sur Equinox P2 pour un équipementier automobile allemand
  

• INRIA - Ingénieur de recherche et développement

  Le Chesnay 2012 - 2015 - Gestion d'un projet de recherche collaboratif (Projet P).
  - Recherche et proposition de solutions techniques.
  - Rédaction des livrables du projet.
  - Enrichissement du formalisme pivot P par des notions de contraintes temps réel et d’architectures matérielles parallèles distribuées.
  - Conception et développement d’un outil permettant de :
  * traduire le formalisme P dans le langage d’entrée de l’outil SynDEx afin d’effectuer des analyses d’ordonnançabilité et de générer du code distribué;
  * importer les résultats des analyses d’ordonnançabilité dans le formalisme pivot P.
  - Portage d'un ordonnanceur temps réel sur la plateforme Mbed (Carte Embedded Artists LPC4088).

• CEA Saclay - Ingénieur d'étude en informatique temps réel

  Gif-sur-Yvette 2008 - 2008 Dans le cadre de mon stage de Master 2 de 6 mois, le travail effectué était :
  - La modélisation et la réalisation d'un mécanisme d'ordonnancement dans le middleware ACCORD|UML.
  - L'intégration du middleware ACCORD|UML avec le système d’exploitation temps réel Linux/Xenomai.

• CEA Saclay - Ingénieur de recherche et développement

  Gif-sur-Yvette 2008 - 2011 - Gestion d'un projet de recherche.
  - Mise en oeuvre d’une méthodologie de modélisation de sémantiques d'exécution.
  - Développement d’un outil de simulation et validation de modèles d'application temps réel et embarquée.

• Université Hadj Lakhdar De Batna, Batna - Ingénieur de développement système

  2007 - 2007 Dans le cadre de mon stage de fin d'études d'ingénieur de 6 mois, le travail effectué était :
  - L’étude et la réalisation d’un ordonnanceur pour un système d'exploitation micro-noyau académique pour une architecture x86.

Formations

• École Supérieure D'Électricité (Supélec)

  Gif Sur Yvette 2008 - 2011 Doctorat

• Université Versailles Saint Quentin

  Saint Quentin En Yvelines 2007 - 2008 Master 2

• Université Hadj Lakhdar De Batna (Batna)

  Batna 2006 - 2007 Ingénieur

Réseau

• Enagnon Cedric KLIKPO

• Gaelle FORET

• Hugo LABAT

• Mustapha KHAFAGUE

• Sandra IMBERT

• Yann MARCHAND