EXPÉRIENCES PROFESSIONNELLES
01/2012 à 01/2016 Enseignent/Formateur, ENSA (Tétouan, Maroc)
• Enseignement des modules :
o Technologies DotNet : Langage C#, Visual Studio.
o Langage de Programmation Orienté Objet Java.
o ERP (Enterprise Resource Planning) : Progiciel de gestion, Odoo (Mise en place, paramétrage…)
o Génie Logiciel.
o IHM (Interface Homme-Machine).
o Théorie des langages & Compilation.
• Encadrement des projets :
o Application d’aide aux personnes âgées en Java;
o Ventre en ligne en ASP.Net;
o Jeux de voiture en Java;
o Covoiturage au Maroc ASP.Net;
o Moteur de recherche des moyennes de transports Maroc ASP.Net;
o Porte feuille de compétence.
05/2011 à 12/2011 Ingénieur/Docteur, ALSTOM (Paris, France)
Projet ATS (Automatique Train Supervision)
• Intervention sur les fonctions SIGR (règle de signalisation), TOM (Train operating mode) et ATCM (automatic train control management)
o Validation et correction des spécifications.
o Rédaction des procédures et des scénarios de validation.
o Déploiement, test d’intégration, test de redondance & de performance.
Environnement technique : ICONIS ATS Urbalis, UML, Clearquest, C#, Visual Studio Macro Exel.
12/2010 à 05/2011 Ingénieur/Docteur, Thales Air Systems (Paris, France)
Domaine de Contrôle du Trafic Aérien (ATC)
• Maintenance évolutive et corrective de la fonction FDP (traitement de plan de vol) pour un centre ATC en Europe :
o Analyse de faits techniques en provenance des sites opérationnels.
o Développement des évolutions et corrections des anomalies.
o Tests/Validation de non régression du système.
Environnement technique : ADA 95, C, GNAT/GPS, AirSpace, Windows/Lunix, CVS.
02/2010 à 12/2011 Ingénieur/Docteur, EVOSYS (Paris, France)
Projet TSA (R&D EVOSYS)
• Projet TSA : Transformation de modèles Asynchrones en modèles Synchrones en vue de vérification formelle par Model Checking (appliquée aux enclenchements ferroviaires)
o Gestion du projet : Définition des tâches, estimation des charges et mises à jour des indicateurs.
o Veille technologique dans le domaine des transformations de langage.
o Etude des techniques de model checking (TINA, CADP, SPOT).
o Formation au contexte ferroviaire (signalisation, enclenchement).
o Définition du modèle d’entrée de la transformation.
o Etude de faisabilité de la transformation.
o Rédaction des spécifications.
o Génération de l’espace d’état et vérification formelle des propriétés de sécurités (enclenchement d’approche, de transit, d’itinéraire et de nez à nez).
o Rédaction du plan de validation.
o Rédaction du cahier de tests.
Environnement technique : Eclipse, UML, Langage Synchrone (Luste/Scade, Esterel), Langage Asynchrone (Fiacre), Model Checker TINA, Windows/Lunix.
2006-2010 Thésard, VERIMAG (Grenoble, France)
08/2008 à 04/2010
• Développement et intégration de la chaîne d’outils à Eclipse sous forme des plugins :
o Modélisation des systèmes temps-réel embarqués en AADL et la génération automatique d’applications formellement vérifiées.
o Développement d’un traducteur d’AADL vers BIP.
o Développement d’un simulateur et d’un débogueur.
o Participation au développement d’un éditeur graphique.
o Maintenance et évolution : éditeur textuel, Méta-modèle, Parseur, Reconstructeur de code (deparser), Générateur de modèle à partir d’une description textuelle.
o Scénario de tests et validation de la chaîne d’outils.
o Vérification formelle.
• Participation aux projets européens SPICES et OpenEMBeDD, et régional EmSoc.
• Rédaction de la thèse en français.
• Présentations et rédaction de documents en anglais.
• Publications internationales.
• Enseignements en école d’ingénieurs (ENSIMAG) : UNIX.
• Encadrement d’un stagiaire.
Environnement technique : Eclipse, Java, UML, EMF, GMF, C/C++, ATL, TOPCASED, OSATE, BIP, AADL, ANTLR, OCL, Plugins Eclipse, XML/XMI, UNIX, CVS.
05/2007 à 07/2008
• Développement d’outils intégrés à Eclipse sous forme des plugins :
o Transformation des descriptions BIP temporisées vers non temporisées (temps discret).
o Développement des techniques d’optimisations pour les modèles avec la préservation de la sémantique.
o Maintenance et évolution : éditeur textuel, Méta-modèle, Parseur, Reconstructeur de code (deparser), Générateur de modèle à partir d’une description textuelle.
• Enseignements en école d’ingénieurs (ENSIMAG) : ADA.
• Formalisation de la transformation.
• Présentations et rédaction de documents en anglais.
• Publication internationale.
Environnement technique : Eclipse, Java, UML, EMF, ATL, BIP, OCL, Plugins Eclipse, XML/XMI, UNIX, CVS.
03/2006 à 04/2007
• Développement d’outils intégrés à Eclipse sous forme des plugins :
o Développement d’un éditeur textuel, Méta-modèle, Parseur, Reconstructeur de code (deparser), Générateur de modèle à partir d’une description textuelle.
o Développement des techniques d’optimisations pour les modèles avec la préservation de la sémantique.
• Veille technologique.
• Présentations et rédaction de documents.
Environnement technique : Eclipse, Java, EMF, ATL, BIP, ANTLR, OCL, Plugins Eclipse, XML/XMI, UNIX, CVS.
2005 (1 février au 30 septembre) Stagiaire de Master 2, LIRIS (Lyon, France)
• Patron de conception pour une solution d'interopérabilité.
o Utilisation des algorithmes de matching des schémas de donnée.
o Recherche de documentation en utilisant les schémas XML.
o Définition du degré de pertinence ou de similarité des résultats obtenus.
Environnement technique : Eclipse, Java, UML, Schema XML.
2004 (1 mars au 30 juin) Stage à la Faculté des Sciences (Tetouan, Maroc)
• Mise en place d’un système d’information pour le site de la Faculté des Sciences de Tétouan.
• Enseignements des travaux pratiques des modules d’informatique : Pascal, Algorithmique.
Environnement technique : HTML, PHP, Macromedia Flash.
2003 (1 mars au 30 juin) PFE Master 1, Faculté des Sciences et Techniques FST (Tanger, Maroc)
• Réalisation d’un logiciel de planification du réseau cellulaire GSM de Tanger en utilisant les Systèmes d’Information Géographique (SIG).
Environnement technique : Delphi, Arcview, Map Object.
2002 (1 juin au 31 août) Stage au sein de la société : WEB SIGN (Tanger, Maroc)
• Elaboration d’un portail en utilisant PHP et MYSQL.
• Conception et hébergement des sites Web professionnels et personnels.
FORMATION
2006-2010 Doctorat en Informatique : VERIMAG -- Grenoble
Ecole doctorale : Mathématiques, Sciences et Technologies de l'Information, Informatique (Université de Grenoble)
Thèse : Modélisation des systèmes temps réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiées.
2004- 2005 Master 2 : Systèmes d’Information à l’INSA de Lyon
COMPÉTENCES TECHNIQUES
• Systèmes : embarqués temps-réel, systèmes d’information géographique.
• Standards : UML, AADL, OCL, ARINC 653.
• Formalismes : automates, réseaux de Petri, BIP, Fiacre, Fractal.
• Bases de données : MySQL, SQL server.
• Programmation : Java, C#, C/C++, Pascal, Delphi, Visual Basic, ADA, Assembleur.
• Technologies model-driven : EMF, GMF, ATL, ANTLR, Plugins Eclipse, XML/XMI.
• Technologies Web : HTML, PHP, ASP, XML, CSS.
• Outils : Eclipse, Macromedia Flash et MX, Macromedia DreamWeaver, Visual Studio, Swish, Arcview, Map Object.
• Environnements : MS-DOS, Windows, Unix/Linux.
• Autres : Compilation, Recherche Opérationnelle, Programmation Orienté Objet, Programmation sous Unix.