Masum Bin Alam

Mission : Ingénieur Systèmes Embarqués – Développement d'un dispositif sécurisé STM32 / FIDO2 But du travail: Développement du dispositif sécurisé Locknest, basé sur STM32, pour l'authentification forte et la gestion sécurisée d'identifiants. Le projet consistait notamment à intégrer une solution FIDO2/CTAP2 certifiable dans un environnement embarqué à très fortes contraintes mémoire, en optimisant l'architecture logicielle et l'occupation flash afin de rendre possible l'intégration complète des fonctions de sécurité.

Mission : Ingénieur R&D – Développement d'un autopilot temps réel critique (PX4-RT) But du travail: Optimisation du comportement temps réel de PX4 RT dans un contexte à contraintes strictes de sûreté de fonctionnement (safety-critical). Portage sur architecture multiprocesseur ARM Cortex A53. Réalisation

• • Déploiement du firmware PX4-RT sur Raspberry Pi avec patch PREEMPT-RT

• • Étude comparative du WCET entre Linux standard et PREEMPT-RT (mono vs multi-cœur)

• • Analyse des performances temps réel avec ftrace, cyclictest et GNU Debugger

• • Génération de fichiers VCD et visualisation avec GTKWave

• • Scripts Bash et Python pour automatisation des tests HITL/SITL.

• • Compilation croisée et automatisation de la construction avec CMake

• • Étude comparative entre Linux vs PREEMPT-RT patch vs Xenomai Logiciels: C, C++, Python, PX4-Autopilot, Gazebo, jMAVSim, QGroundControl, ftrace, cyclictest, GNU Debugger, GTKWave, CMake, Bash, Raspberry Pi, Linux temps réel (PREEMPT-RT, Xenomai)

• • Rédaction et exécution de tests unitaires, d'intégration et de validation (langage C)

• • Utilisation de LDRA Testbed (génération automatique de tests, couverture, traçabilité)

• • Analyse statique de code et contrôle qualité avec CodeSonar.

• • Familiarisation avec les protocoles industriels (EtherCAT, CANopen) utilisés pour les bancs de test ou les systèmes distribués.

• • Conformité aux normes critiques (MISRA, DO-178C, IEC 61508, ISO 26262, SIL3)

• • Application des principes de conformité au cycle V, preuve de tests, configuration documentaire rigoureuse.

Logiciels