Thèse CIFRE (H/F) – Clairvoyance temporelle des architectures logicielles automobiles sous ince[...]

Contexte et environnement de travail

Dans un contexte de transformation vers le Software Defined Vehicle (SDV), les architectures logicielles automobiles deviennent de plus en plus distribuées, complexes et soumises à de fortes contraintes temporelles. Les fonctions sont déployées sur plusieurs calculateurs (ECU) et partagent des ressources critiques (CPU, mémoire, réseaux), générant des comportements temporels variables et non déterministes (latence, gigue, contention). Cette complexité impose de renforcer, dès les phases amont de conception, la capacité à anticiper, comprendre et maîtriser ces comportements temporels. Aujourd’hui, ces analyses sont encore souvent réalisées tardivement dans le cycle d’ingénierie, conduisant à des itérations coûteuses et à des limitations fonctionnelles. Dans ce contexte, Ampere (Renault Group) souhaite développer de nouvelles approches combinant modélisation (UML/SysML, MBSE/MBSW), analyse formelle et intelligence artificielle pour introduire une véritable clairvoyance temporelle dans les modèles d’architecture logicielle. En intégrant l’ingénierie logicielle d’Ampere, vous contribuerez à des enjeux stratégiques liés à la robustesse logicielle, à l’efficacité d’ingénierie et à la performance des architectures SDV.

Vos missions

• Réaliser un état de l’art en modélisation UML/SysML, analyse temporelle, vérification formelle et exploitation de traces.
• Proposer un cadre formel permettant de représenter les architectures logicielles sous incertitudes temporelles.
• Développer des extensions ou profils UML/SysML pour modéliser explicitement variabilités temporelles et comportements non déterministes.
• Définir des méthodes de formalisation d’exigences temporelles à partir de patrons interprétables.
• Concevoir des algorithmes d’analyse et de vérification des propriétés fonctionnelles et temporelles.
• Exploiter des traces d’exécution issues de systèmes embarqués (réseaux, CPU, interactions inter-ECU) pour confronter les modèles à la réalité.
• Mettre en œuvre des techniques d’intelligence artificielle pour apprendre, anticiper et détecter des comportements temporels plausibles.
• Développer des prototypes d’outils d’aide à la décision pour l’architecture logicielle.

Ces travaux seront réalisés en collaboration avec un laboratoire académique de premier plan (INRIA), dans une dynamique mêlant recherche scientifique et application industrielle.

Votre profil

Vous êtes diplômé(e) d’un BAC+5 (école d’ingénieur ou université) avec une spécialisation en informatique, systèmes embarqués ou génie logiciel.

Connaissances souhaitées

• Modélisation système ou logicielle (UML, SysML, MBSE)
• Programmation et algorithmique
• Systèmes embarqués ou architectures logicielles distribuées
• Notions en analyse formelle ou intelligence artificielle (un plus)

Qualités attendues

• Rigueur scientifique et capacité d’analyse
• Curiosité et goût pour l’innovation
• Autonomie et capacité à proposer
• Capacité à travailler en environnement multidisciplinaire (industrie / recherche)

Pourquoi nous rejoindre ?

• Sujet au cœur des enjeux SDV et de la transformation logicielle de l’automobile
• Forte articulation recherche–industrie avec applications concrètes
• Contribution directe à la robustesse et à la performance des architectures logicielles
• Encadrement par des experts métier et chercheurs académiques

Informations complémentaires

• Métier : Ingénierie logicielle / Recherche
• Durée : 36 mois
• Localisation : Sophia Antipolis

Renault Group s'engage à créer un environnement de travail inclusif et à garantir l’égalité des chances pour tous.