Ingénieur de recherche systèmes embarqués temps-réel - ref 20OD-ISM-ARCH-01

L’Institut de Recherche Technologique (IRT) Saint Exupéry est un accélérateur de science, de recherche technologique et de transfert vers les industries de l’aéronautique et du spatial pour le développement de solutions innovantes sûres, robustes, certifiables et durables. 

Nous proposons sur nos
sites de Toulouse, Bordeaux, Montpellier, Sophia Antipolis et Montréal un
environnement collaboratif intégré composé d’ingénieurs, chercheurs, experts et
doctorants issus des milieux industriels et académiques pour des projets de
recherche et des prestations de R&T adossés à des plateformes
technologiques autour de 4 axes : les technologies de fabrication
avancées, les technologies plus vertes, les méthodes & outils pour le
développement des systèmes complexes et les technologies intelligentes.
Nos technologies
développées répondent aux besoins de l'industrie, en intégrant les résultats de
la recherche académique. 

Le projet ARCHEOCS a pour objectif de proposer des méthodes et des outils pour faciliter le développement et la vérification d’applications critiques temps-réel.
Le projet est porté par un ensemble de sociétés industrielles des domaines aéronautiques, spatiaux et automobile, de fournisseurs de technologies et de laboratoires académiques.

Dans ce contexte, les missions de l'ingénieur de recherche sont les suivantes :

·      Le déploiement d’applications sur une architecture de calcul composée de calculateurs multicoeurs synchronisés,
·      L’optimisation de ce déploiement,
·      L’analyse des temps d’exécution et la démonstration de la satisfaction des propriétés temps-réel globales (déterminisme, temps de réponse de bout en bout),
·      La prise en compte des défaillances des éléments de cette architecture de calcul,
·      Le debugging des applications déployées sur cette architecture.
Pour traiter ces sujets, le titulaire du poste s’appuiera sur une équipe pluridisciplinaire composée d’ingénieurs expérimentés ou débutants et de chercheurs. Il sera amené à interagir directement avec notre partenaire industriel, avec les fournisseurs de technologies (Krono-Safe) ainsi qu’avec les équipes de recherche impliqués dans le projet (IRIT/Traces, INRIA/Kairos, et Télécom Paris).

Le poste comporte un ensemble d’activités de développement et d’activités de recherche :

• Activités de développement

·      Appropriation du cas d’étude industriel ;
·      Capture des besoins en termes de temps de réponse, de communication, de tolérance aux fautes, sur la base de ce cas d’étude ;
·      Contribution au développement des mécanismes de mise en œuvre de l’infrastructure de calcul distribuée synchrone (sur la base du produit Asterios de Krono-Safe);
·      Spécification des services de communication et de synchronisation « bas niveau » (Ethernet, PTP) ;
·      Portage du cas d’étude sur la plateforme distribuée multi-cœur / multi-CPU, vérification et validation sur simulateur et sur cible matérielle ;
·      Caractérisation de l’application du point de vue des temps d’exécution (WCET).

• Activités de recherche

·      Sur le thème du debugging distribué :
Contribution à l’état de l’art du debugging d’applications parallèles et distribuées
Spécification de besoin en matière de debugging, sur la base du cas d’étude
Définition des informations nécessaires au debugging d’applications distribuées (dans le cas particulier d’applications synchrones selon le modèle d’exécution d’Asterios)
Définition des moyens d’acquisition de ces informations (combinaison d’instrumentation au niveau du code applicatif, d’observations sur cible au moyen de gdb, de sondes, d’observations réalisées en simulation).
Définition d’une approche de debugging d’applications parallèles et distribuées
Mise en œuvre des capacité des debugging sur le cas d’étude

·      Sur le thème de l’optimisation architecturale :
Contribution à l’état de l’art en matière d’optimisation architecturale
Définition du problème d’optimisation : définition de la fonction de coût à optimiser, définition des moyens permettant l’estimation des grandeurs intervenant dans la fonction de coût (par ex. temps de réponse), définition des choix architecturaux, etc.
Contribution au choix / définition des formalismes de modélisation architecturale (logicielle et matérielle) permettant l’expression et la résolution du problème d’optimisation.
Contribution à la définition de l’approche d’optimisation.
Mise en œuvre de l’approche sur le cas d’étude

Ingénieur/ Master 2 électronique ou système embarqué, un Doctorat constituerait un véritable atout, vous bénéficiez d’une première expérience en R&D sur des problématiques d’analyse temporelle des systèmes temps réel.

Compétences et connaissances requises:
·      Connaissance de la problématique de l’analyse temporelle (estimation de WCET, analyse d’ordonnancabilité, etc.)
·      Connaissance du modèle d’exécution synchrone (par ex. Lustre, Esterel,…).
·      Connaissance des aspects matériels et logiciels de l’informatique embarquée (architectures de microcontroleurs et SoCs, programmation temps-réel...)
·      Maitrise du développement logiciel en C « bas niveau ».
·      Bonne connaissance pratique du développement sur calculateurs embarqués.
·      Capacité à appréhender les problèmes selon leurs dimensions pratiques et théoriques.
·      Capacité d’analyse et de synthèse.