Masum Bin Alam

🔧 Entreprise : INRIA – Institut National de Recherche en Informatique et Automatique 📍 Lieu : Paris, France 🗓️ Période : Novembre 2023 – Aujourd’hui 📂 Secteur : Systèmes embarqués temps réel critiques – Drones – Recherche appliquée Je travaille au sein de l’équipe Kopernic chez INRIA Paris dans le cadre d’une Action de Développement Technologique (ADT) visant à optimiser PX4-RT, une version temps réel dur de l’autopilote open-source PX4, pour répondre aux exigences des systèmes critiques embarqués. Le projet cible des architectures multiprocesseur ARM Cortex-A53 sous Linux temps réel. ✅ Réalisations clés : Déploiement du firmware PX4-RT sur Raspberry Pi + Navio2 avec PREEMPT-RT Étude comparative du WCET (Worst Case Execution Time) entre : Noyau Linux standard vs PREEMPT-RT Configuration mono-cœur vs multi-cœur Instrumentation temps réel via ftrace, cyclictest, GTKWave et GNU Debugger Génération de fichiers VCD pour la visualisation des traces d’ordonnancement Conception de scripts Bash et Python pour automatiser les tests HITL/SITL avec Gazebo, jMAVSim, QGroundControl Mise en place d’une chaîne de compilation croisée avec CMake Étude comparative des extensions Xenomai et RTAI sur Linux embarqué 🛠️ Compétences et outils utilisés : Langages : C, C++, Python, Bash Outils : PX4-Autopilot, ftrace, cyclictest, GTKWave, GNU Debugger, CMake Plateformes : ARM Cortex-A53, Raspberry Pi, Linux PREEMPT-RT, Xenomai, RTAI Simulation : Gazebo, jMAVSim, QGroundControl Méthodologies : Analyse des performances temps réel, ordonnancement, instrumentation bas niveau

🔧 Entreprise : ISIT – Cybersecurity & Safety Partners 📍 Lieu : Toulouse, France 🗓️ Période : Février 2023 – Août 2023 (6 mois) 📂 Secteur : Systèmes embarqués critiques – Logiciels sûrs – Industrie & automobile Chez ISIT, j’ai travaillé comme ingénieur V&V logiciels critiques dans un environnement à haute exigence de sûreté de fonctionnement (SIL3) et de conformité aux normes ISO 26262, DO-178C, et IEC 61508. Mon rôle couvrait l’ensemble du cycle de validation logiciel pour des systèmes embarqués utilisés dans les secteurs automobile, industriel et défense. ✅ Réalisations clés : Rédaction et exécution de tests unitaires, tests d'intégration et tests de validation système en langage C Utilisation de LDRA Testbed pour la génération automatique de tests, l’analyse de couverture de code, la traçabilité exigences ↔ tests Application rigoureuse des normes IEC 61508, DO-178C, ISO 26262, SIL3, MISRA C Réalisation d’analyses statiques avancées de code avec CodeSonar, détection de défauts, preuve de conformité Application du cycle en V, gestion documentaire, traçabilité, et validations indépendantes Travail avec les protocoles industriels : EtherCAT, CANopen, utilisés dans des systèmes distribués embarqués 🛠️ Compétences et outils utilisés : Langages : C, base en Python pour scripting Outils : LDRA Testbed, CodeSonar, Git Normes : DO-178C, ISO 26262, IEC 61508, SIL3, MISRA Méthodologies : Cycle en V, Vérification indépendante, preuve de tests