Menu

Amine MECHRAOUI

POISSY

En résumé

Mes compétences :
Systèmes embarqués
Mécatronique
Robotique
Ordonnancement
Automatique
Model based testing

Entreprises

  • ALSTOM Transport - Ingénieur R&D

    2012 - maintenant Projet européen collaboratif (combined Model-Based Analysis and testing for embedded systems) :

    - Model-Based Analysis and Testing
    - Modélisation ATC/ZC
    - Amélioration du V&V process
    - Modélisation (UML, SysML, SPEM, Markov chain, state machine)
    - Métodes formelles et semi formelles
    - Évaluation et intégration des outils de test
    - Generation automatique de cas de test, scenario de test
    - Amélioration de la couverture des exigences
    - Analyse d'impact
    - Réduire le coût de la validation
    - Rédaction des documents technique et d'avancement

  • MEDIANE SYSTEME - Ingénieur

    Le Pecq 2011 - 2012 Couplage d'un outils de supervision et un équipement de contrôle/commande :
    - Rédaction du document de spécification logiciel
    - Conception Logiciel
    - Développement d'un driver : C++ sous Visual Studio
    - Debug et Test Unitaire
  • Gipsa-Lab IUT1 - Ingénieur de Recherche

    2010 - 2011 - Co-simulation de robots mobiles communicants commandés à travers un réseau simulé
    - Encadrement théorique et pratique des étudiants de première et deuxième année à l'IUT1 de Grenoble/ Responsable d'un groupe.
  • INPG - Doctorant

    Grenoble 2007 - 2010 Recherche intensive et créative sur le diagnostic des systèmes de type
    commandés en réseau sans fil :
    - Développement d’un simulateur sous Matlab/Simulink/TrueTime
    - Implémentation de différents algorithmes sur le robot Khepera III (commande,
    diagnostic, évitement d’obstacles, ordonnancement des tâches, interruption
    de tâches)
    Simulations, expérimentations intensives :
    - Programmation en C/C++ sous Linux (Ubuntu, Debian) et Linux embarqué
    - Programmation de microcontrôleur de type PIC et DsPIC
    -Programmation de Microprocesseur (Xscale d'Intel)
    - Programmation de sockets
    - Réalisation d’une plate-forme expérimentale
    - Réseaux Bayésiens statiques, dynamiques et distribués
    -Réseaux de neurones, raisonnement à partir de cas

    Encadrement de travaux pratiques :
    - Réseaux sans fil (Master Pro Pilotage et Surveillance des Procédés Industriels)
    - Automates programmables (Grenoble INP)
    - Automatique continue, Automatique échantillonnée, Analyse numérique (Université Joseph FOURIER)

    Encadrement de projet :
    - Projet : Coopération de plusieurs robots unicycles
    - Projet : Collaborative project based on LEGO MINDSTORMS NXT robotic (collaboration internationale)

    Encadrement de stage :
    - Stage de fin d’étude : Prise en main du robot Khepera III (système embarqué)
    - Stage de fin d’étude : Systèmes commandés en réseau : Application à un robot
    mobile Khepera III
    - Stage Master 2 : Prise en compte de l’influence du réseau en diagnostic distribué,
    application à un ou plusieurs robots communicants

Formations

Réseau

Annuaire des membres :