Titre du projet de recherche

Architectures avioniques et des systèmes d’exploitation temps réel (maitrise)

Niveau d'étude

Maîtrise recherche

Directeur/codirecteur

Directeur : Felipe Gohring de Magalhaes

Fin de l'affichage

31 décembre 2025

Domaines d'expertise

Cybersécurité

Architecture d'ordinateur et conception

Organisation des systèmes informatiques

Pôle d'excellence principal

Industrie du futur et société numérique

Unité(s) et département(s)

Département de génie informatique et génie logiciel

Conditions

Ce projet est mené en collaboration avec des doctorants travaillant sur le même domaine de recherche. Trois postes de master sont disponibles pour travailler aux côtés des doctorants sur les sujets suivants :

Sujet 1 : Architectures avioniques, avec un accent sur les plateformes avioniques modulaires intégrées (IMA). Les plateformes IMA intègrent des composants matériels et logiciels pour prendre en charge des systèmes avioniques fiables, sûrs et prévisibles.

Connaissances requises : • Formation en architecture informatique, systèmes embarqués ou systèmes temps réel. • Solide compréhension des concepts des systèmes d'exploitation, notamment l'ordonnancement, la gestion de la mémoire et la communication inter-processus. • Maîtrise du C/C++ ou de langages de programmation bas niveau similaires.

Connaissances souhaitées : • Familiarité avec les architectures avioniques modulaires intégrées (IMA) ou les systèmes critiques pour la sécurité. • Expérience en co-conception matériel-logiciel, programmation FPGA ou calcul reconfigurable. • Connaissance des mécanismes de partitionnement, des noyaux de séparation et des politiques d'ordonnancement temps réel. • Compréhension des principes de cybersécurité dans les systèmes embarqués ou avioniques. • Une expérience préalable en conception basée sur des modèles ou en méthodes de vérification formelle est un atout. • Bonne maîtrise de l'anglais écrit et parlé.

Sujet 2 : Systèmes d'exploitation avioniques cyber-sécurisés, axés sur l'intégration de mesures de cybersécurité dans la conception et le fonctionnement des systèmes avioniques.

Connaissances requises : • Formation en cybersécurité, systèmes informatiques ou systèmes embarqués. • Maîtrise du C/C++ ou d'autres langages de programmation bas niveau utilisés dans le développement de systèmes d'exploitation. • Solide compréhension des principes des systèmes d'exploitation, notamment la gestion de la mémoire, l'ordonnancement et la programmation au niveau du noyau.

Connaissances souhaitées : • Familiarité avec les systèmes de détection d'intrusion (IDS), les techniques cryptographiques ou les protocoles de communication avionique (par exemple, ADS-B). • Connaissance des algorithmes d'apprentissage automatique ou d'apprentissage profond pour la détection d'anomalies ou d'attaques. • Expérience des systèmes critiques pour la sécurité ou des processus de certification (par exemple, DO-178C, ARINC 653). • Intérêt pour les méthodologies de sécurité dès la conception et les systèmes d'exploitation temps réel (RTOS). • Bonne maîtrise de l'anglais écrit et parlé.

Sujet 3 : Co-conception et certification de systèmes avioniques avancés, axées sur la co-conception et la certification des systèmes avioniques de nouvelle génération. Ce projet est financé et se déroulera en partenariat avec une entreprise du secteur.

Connaissances requises • Formation en ingénierie des systèmes, systèmes embarqués ou architecture informatique. • Compréhension de la conception basée sur les modèles ou des langages de modélisation de systèmes (par exemple, SysML, AADL, Simulink). • Familiarité avec les concepts de systèmes temps réel et l'intégration logicielle/matérielle. • Maîtrise du C/C++, de Python ou de langages de programmation technique équivalents.

Connaissances souhaitées • Expérience des tests HIL (Hardware-in-the-loop) ou des jumeaux numériques. • Connaissance des normes de certification telles que DO-178C, DO-254 ou ARP 4754A. • Familiarité avec les architectures partitionnées ARINC 653 ou les systèmes d'avionique modulaire intégrée (IMA). • Expérience en vérification formelle, analyse des propriétés non fonctionnelles ou systèmes critiques pour la sécurité. • Expérience des outils de simulation ou des frameworks de tests automatisés. • Excellente maîtrise de l'anglais, à l'écrit comme à l'oral.

Exigences générales pour tous les postes • Diplôme technique (ou équivalent) en informatique, génie informatique, génie électrique ou domaine étroitement lié. • Forte motivation pour la recherche indépendante et collaborative. • Solides compétences en communication et en rédaction de documentation. • Volonté de diffuser les résultats dans des conférences et revues de premier plan.

Description détaillée

Date de début prévue: semestres d'hiver 2026, 2027 et 2028

Candidature
Les candidats intéressés sont priés de soumettre les documents suivants :
1. Curriculum Vitae (CV)
2. Lettre de motivation présentant les intérêts de recherche et l'expérience pertinente
3. Relevés de notes universitaires
4. Coordonnées de deux personnes de référence

L'analyse des candidatures commencera immédiatement et se poursuivra jusqu'à ce que le poste soit pourvu. Les candidats sélectionnés travailleront au laboratoire des systèmes embarqués hétérogènes

Possibilité de financement

Ce projet prévoit l'attribution d'une bourse d'études basée sur les suggestions annuelles actuelles de Polytechnique.