La ROADEF
La R.O.A.D
Evénements
Prix
Publications
Plus
Forums
Connexion
Livre blanc

Thèse CIFRE PACTE Novation : Optimisation de l?exécution d?une application temps-réel embarquée sur

Forum 'Emplois' - Sujet créé le 2022-07-15 par Alix Munier

Les innovations dans le domaine des applications temps-réels critiques (systèmes d’aide à la conduite ou de conduite autonome, robotique, médical) entrainent une complexité croissante des logiciels et des besoins en terme de puissance de calcul. L’utilisation de plates-formes multi-cœurs permet de répondre à ces besoins. Cependant, la mise en œuvre d’applications critiques sur des plates-formes multi-cœurs est beaucoup plus difficile en raison de plusieurs facteurs tels que le non-déterminisme, les communications, le parallélisme, etc.

Nos travaux se placent dans une approche de conception basée sur des modèles (ou MBD - Model Based Design en anglais). Cette approche permet de spécifier formellement la sémantique fonctionnelle des systèmes par un langage synchrone. Elle permet, ensuite, de dériver à partir de ces spécifications formelles, des implémentations correctes en utilisant des modèles d’exécution tel que le modèle LET (Logical Execution Time). La conception basée sur des modèles vise ainsi à garantir l'exactitude des implémentations à travers des transformations entre modèles : d’un modèle fonctionnel abstrait indépendant de la plateforme, vers un modèle d’exécution concret qui intègre les propriétés de la plate-forme (telles que les contraintes d'architecture matérielle, les temps d'exécution, etc.).

L’objectif de cette thèse est de proposer de nouvelles méthodes formelles pour la conception de systèmes temps-réels, critiques, multi-périodiques, sur plateformes multi-cœurs, dans une approche de conception basée sur des modèles. 

Conditions de la thèse:

  • Pacte Novation est une entreprise des Services du numérique spécialisée dans le conseil, la mise en place d’intégration des technologies à forte valeur ajoutée et les plus innovantes. Elle collabore régulièrement avec des entreprises dans le domaine des transports (Siemens, Hitachi, etc..).
  • Le laboratoire d'accueil est le LIP6 (Sorbonne Université).

Le doctorant passera 50% de son temps chez PACTE Novation, et 50% au LIP6. Ces pourcentages pourront varier en fonction des tâches à réaliser. Le laboratoire et l'entreprise sont situés en région parisienne.

Compétences attendues:

  • Master recherche ou diplôme d’ingénieur dans au moins une des thématiques suivantes : Informatique, Mathématiques Appliquées, Recherche Opérationnelle
  • Compétences en programmation (C, C++, Python )

Dossier de candidature:

  • CV détaillé
  • Relevé de notes M1 et M2
  • Lettre de motivation
  • Éventuelles recommandations, ou les noms des référents pour soutenir votre candidature

Dossier à envoyer à : Alix.Munier@lip6.fr, cklikpo@pactenovation.fr