Thèse CIFRE - Clairvoyance temporelle des architectures logicielles automobiles sous incertitudes

Beschreibung:

Company

AMPERE SOFTWARE TECHNOLOGY

Job Description

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
Cette thèse vise à développer une approche innovante permettant d'intégrer explicitement les incertitudes temporelles dans les modèles d'architecture logicielle et d'en améliorer la capacité d'analyse et d'anticipation.
Dans ce cadre, vous aurez notamment pour mission de :
* 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.
Vous disposez idéalement de connaissances en :
* 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)
Vous êtes reconnu(e) pour :
* Votre rigueur scientifique et votre capacité d'analyse
* Votre curiosité et votre goût pour l'innovation
* Votre autonomie et votre capacité à proposer
* Votre capacité à travailler en environnement multidisciplinaire (industrie / recherche)
Un bon niveau d'anglais est requis pour évoluer dans un contexte international et contribuer à des publications scientifiques.

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.

Job Family

Transverse

Contract Duration

36 months

Renault Group is committed to creating an inclusive working environment and the conditions for each of us to bring their passion, perform to the full and grow, whilst being themselves.
We find strength in our diversity and we are engaged to ensure equal employment opportunities regardless of race, colour, ancestry, religion, gender, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity, etc. If you have a disability or special need requiring layout of the workstation or work schedule, please let us know by completing this form.

In order to follow in real time the evolution of your applications and to stay in touch with us, we invite you to create a candidate account. This will take you no more than a minute and will also make it easier for you to apply in the future.
By submitting your CV or application, you authorise Renault Group to use and store information about you for the purposes of following up your application or future employment. This information will only be used by Renault Group companies as described in the Group privacy policy