Menu

Abderraouf BENYAHIA

MASSY

En résumé

Mes compétences :
Ingénierie dirigée par les modèles MDE/MDA
Linux
Gestion de projet
EMF
JAVA
Plateforme Mbed
Informatique temps réel
UML/fUML
Microsoft Windows
Acceleo
C/C++
YourKit
Jira
Eclipse RCP
Git
Scrum

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

Réseau

Annuaire des membres :