Karim DEMBÉLÉ

En résumé

Entreprises

• Schneider Electric - Ingénieur développement logiciel embarqué (Prestataire AKKA)

  Rueil Malmaison 2015 - maintenant R&D Cybersecurité des équipements de contrôle d’énergie BT/HT
  
  mots clés : VxWorks – Quadros RTXC – ARM7 – IP stack (IPv4,v6) – Jenkins CUnit – Parasoft tests – MISRA-C.
  
  Missions :
  – Portage de la pile de Cyber-sécurité (IEC-62351) pour la Gateway des disjoncteurs basse tension :
  –Couche d’abstraction (OSAL) : Kernel "QuadrosRTXC", Pile ipv4/ipv6 "QuadNet" et Système de fichier "HCC Embeded SAFE"
  – Web services SOAP (DPWS), contrôle d’accès basé sur des rôles (RBAC), stack cryptlib c, Syslog, Https ...
  –Développement et tests
  – Mise en place et intégration d’un banc d’essai virtuel VxWorks sous Jenkins (avec lancement automatique de tests Parasoft)
  – Implémentation des "events" de synchronisation (VxWorks(DKM/RTP), Linux et Windows)
  –Mise en place d’un serveur de license VxWorks.
  

• Groupe SII - Ingénieur développement logiciel embarqué

  Paris-13E-Arrondissement 2014 - 2014 Réalisation d’un drone capable d’exécuter un plan de mission.
  
  mots clés : C/C++ – Arduino – I2C/SPI – Wifi – XBee
  
  Missions :
  – Acquisition des données de la centrale inertiel et hybridation (Kalman) des sources (Altimètre, Acceleromètre, Capteurs PIR et Ultrasonic)
  –Mise en place de l’algorithme d’asservissement de vol PID
  – Développement du système l’acquissions des données depuis la station sol par Zigbee et Wifi .

• Airbus Group - Ingénieur développement, validation et intégration de logiciel de vol (Prestataire SII)

  Blagnac 2013 - 2015 Fonction Vehicle Management System (VMS).
  
  mots clés : DO178B – SCADE – RTRT – C – DOORS.
  
  Missions :
  – Vérification des fonctionnalités développées sous SCADE à partir de scénarios de tests rédigés sous RTRT en C
  – Développement SCADE des paramètres/fonctions VMS Fire et Fuel sur porteur X4 (H160)
  – Mise en place de tests de robustesse auto-générés (buffer overflow, divide-by-zero et out-of-bounds array access) en vue de la certification DO178B du code embarqué
  –Mise à jour de la bibliothèque avionique "Helionix" sur porteur EC135
  – Relecture formelle des spécifications du calculateur VMS pour le porteur Z15 (Version chinoise de l’EC175).

• Airbus Group - Ingénieur en conception et développement C/C++ (Prestataire Artal)

  Blagnac 2010 - 2013 Développement et correction d’anomalies sur simulateurs Airbus avion-0.
  
  mots clés : C/C++ – Simulation distribuée – Linux(PREEMPT-RT) – ClearCase
  
  Missions :
  
  –Développement :
  – Implémentation du protocole ADIS pour le monitoring des variables internes des calculateurs avionique CPIOM via les bus AFDX, ARINC 429 et CAN
  – Mise en place du mode multi simulation pour le partage/réservation des CPU par les tâches temps réel
  –Implémentation d’un enregistreur boîte noire virtuel
  –Sustaining :
  –Amélioration du séquencement temps réel
  –Implémentation de nouveaux labels sur la ssm ARINC
  – Correction d’anomalies diverses sur simulateur (écrasement mémoire, problèmes SHM, . . .)
  –Déboguage sur cible Avion 0 (400M/A380)..

• Otonomy Aviation - Ingénieur développement C/C++ (Apprenti)

  2009 - 2010 Développement logiciel pour un système de vidéosurveillance embarqué sur aéronef.
  
  mots clés : C/C++ – Linux – GSM/3G – AT command – V4L – libffmpeg c.
  
  Missions :
  – Installation des drivers linux et développement du middleware pour l’envoi d’SMS d’alerte et du flux vidéo par la 3G
  – Implémentation de la connexion automatique sur réseaux public pour diffusion de vidéos ou d’alarmes sur serveur distant
  –Mise en place de scripts de configuration du réseau wifi
  – Implémentation du programme de compression du flux vidéo provenant des cameras 360°
  – Mise en place de la base de données et des triggers ProgreSQL pour le stockage et la gestion des vidéos et alertes.

• Airbus Group - Profiling/Développement Java (Stagiaire)

  Blagnac 2009 - 2009 Problème de consomation mémoire d’AirN@v.
  
  mots clés : Threads – Java heap – JVisualVM/JProfiler – Tomcat.
  
  Missions :
  –Analyse de la consommation mémoire :
  –Recherche des fuites mémoire avec JVisual VM et Memory Analyser
  –Rédaction de recommandations techniques pour le calibrage de la JVM et des "best pratices" pour développeurs et utilisateurs.
  –Réalisation d’un gestionnaire de mémoire.

• Continental - Développeur XML/XSD OSEK (Stagiaire)

  Toulouse 2008 - 2008 Développement d’un générateur de codes noyau depuis des modèles XML.
  
  Mots clés : OSEK – XML/XSD – Scripts batch – C – Java – CodeWright.
  
  Missions :
  
  – Génération de codes noyau :
  – Définition des règles du fichier de modélisation XML (DTD, XSD)
  – Définition de template de fonctions
  – Prise en compte des classes de conformité OSEK (bcc1, bcc2, ecc1, ecc2)
  – Intégration des scripts de génération noyau dans les Makefile de compilation
  – Test sommaire des projets utilisant le code généré (Noyau+applicatif) sur banc.
  – Développement d’un outil unifié d’analyse statique de la pile mémoire pour les microcontroller S12x et V850
  – Proposition d’une solution à la problématique des pointeurs de fonctions non gérés par les vendors
  – S12x : Gestion des fonctions avec arguments ou return type large word
  – V850 : Mode 32, 26, 22 registres.

• Continental - Développeur Visual Basic (Stagiaire)

  Toulouse 2007 - 2007 Développement de génération de métriques qualités des logiciels embarqués.
  
  Mots clés : VB – Assurance qualité – Misra-C - Rational Synergy
  
  Missions :
  
  – Codage des règles métiers mises en place par les ingénieurs qualité logiciels applicatif
  – Ajout d’une extension pour le développement noyau temps réel
  – Promotion et support de l’outil auprès des chefs de projet et sous-traitants.

Formations

• Université Toulouse 3 Paul Sabatier IUP ISI

  Toulouse 2006 - 2008 Licence
  
  Modélisation logiciel, architecture matérie

• Université Toulouse 3 Paul Sabatier IUP ISI

  Toulouse 2006 - 2010 Master
  
  Développement, Vérification et intégration de systèmes critiques

• Ecole Vidal

  Toulouse 2004 - 2006 BTS

• Centre D'Etude Et Formation En Informatique De Gestion (CEFIG) (Ouagadougou)

  Ouagadougou 2001 - 2004 Bac informatique

Réseau

• Bernard CHERBONNEAU

• Céline CASUTT

• Jérôme LARMAN

• Laurent GRENIER

• Mathieu LENDRES

• Nathalie ORHAN

• Vincent SAC