Société
AMPERE SOFTWARE TECHNOLOGY
Descriptif du poste
Votre environnement
Les activités auront lieu dans le département logiciel de Renault, qui est en charge des développements des aides à la conduite (ADAS), des définitions et vérifications safety et plus précisément auprès des architectes au début de ce flot qui ont en charge de définir le logiciel de nos voitures.
Au sein des équipes de méthodologie process, assistant les software architects, vous travaillerez à fournir des méthodes de traitement des exigences textuelles innovantes, générant des modèles afin d’en vérifier formellement les propriétés. Ces méthodes sont à destination des architectes.
Vous serez dans une équipe transverse qui vous amènera à discuter avec des équipes de système (avant le logiciel), des équipes d’architectes, des équipes de sécurité et des développeurs.
Vos missions
La prise en compte des enjeux de sécurité arrive tard chez Renault et de manière générale dans l’industrie automobile, dans les dernières phases de la conception des systèmes. Cependant, la sécurité a un impact sur l'architecture/allocation, et les décisions de partitionnement logiciel/matériel doivent être prises en fonction de la capacité de l'architecture à satisfaire aux exigences de sécurité. Cette thèse propose une méthodologie de la modélisation pour une conception de systèmes à la fois sûrs et sécurisés.
Le flot habituel nécessite des informations comme l’architecture pour déduire les exigences de sécurité à appliquer, mais ces dernières peuvent impliquer des modifications d’architecture… Ainsi par cette thèse, nous souhaitons améliorer les processus de conception et offrir aux ingénieurs un outil qui les aidera dans les premières étapes de conception de systèmes; d’une part en leur apportant au plus tôt des préconisations pour une conception d’architecture robuste et sécurisée (tels que l’ajout des mécanismes de chiffrement ou l’utilisation de la redondance); d’autre part, en fournissant un support pour analyser l’impact des solutions préconisées sur le système.
Nous disposons des résultats d’une première thèse qui a proposé un langage naturel contraint permettant une transformation automatique en machines d’états. Ce framework permet une écriture des exigences en suivant les templates définis (avec propositions de complétions, vérification syntaxique) et permet de générer des modèles sous forme d’automates temporisés, pour réaliser dessus, ensuite, du model checking. Des propriétés génériques (atteignabilité des états, détections des états puits…) sont alors vérifiées, puis des propriétés spécifiques le cas échéant. Ce travail a couvert les exigences fonctionnelles, et quelques aspects temporels.
Il reste donc à étendre le traitement au niveau des exigences non fonctionnelles et réaliser un traitement d’extraction automatique de propriétés spécifiques à vérifier.
De plus, une étude a déjà été menée pour simuler des attaques à l’aide de modèles d’attaque, intégré dans ces modèles générés, ce qui nous a permis d’évaluer si les réponses déjà mises en place dans l’architecture, comme les mécanismes de safety, pouvaient les contrer.
Plus précisément, vos tâches consisteront en ces différentes étapes :
Bibliographie
Analyses des familles d’exigences non traitées,
Classification des exigences entrant dans la construction du modèle de l’architecture et de ceux entrant dans les propriétés que le modèle doit vérifier
Comprendre les menaces de cybersécurité pour développer des modèles d’attaque qui testeront le modèle défini précédemment mettant en évidence l’efficacité ou l’inefficacité des réponses des mécanismes de safety, le cas échéant, reboucler pour raffiner les exigences prenant en compte des menaces identifiées non couvertes,
Modification, robustification du parser et de l’outil de transformation en automates : codage Tester sur un use case réglementaire type ACC.
Votre profil
Vous avez de très bonnes connaissances en électronique, ou informatique (modélisations UML, SysML, langages de programmation C ou C++, JAVA, python ou autre…, machines d’états…).
Vous avez un sens critique et une grande curiosité, un esprit de synthèse, et de l’appétence pour le partage.
Vous avez une formation Bac+5 en électronique ou en informatique.
Très bonnes capacités de communication et interpersonnelles.
Vous maîtrisez l’anglais (niveau minimum 750 au TOEIC). Si vous n’avez pas encore passé de test au moment de votre candidature, vous pourrez passer un test d’anglais en ligne au cours du processus de recrutement.
Métier
Transverse
Durée du contrat
36 months
Renault Group s’engage à créer un environnement de travail inclusif et les conditions permettant à chacun de nous d’apporter sa passion, donner le meilleur de lui-même et s’épanouir, tout en étant lui-même.
Nous trouvons notre force dans notre diversité et nous nous engageons à garantir l'égalité des chances en matière d'emploi, indépendamment de la couleur, de l'ascendance, de la religion, du sexe, de l'origine nationale, de l'orientation sexuelle, de l'âge, de la citoyenneté, de l'état civil, du handicap, de l’identité de genre, etc. Si vous avez un handicap ou un besoin particulier nécessitant l’aménagement du poste de travail ou de l’horaire de travail, merci de nous le faire savoir en remplissant ce formulaire.
Afin de pouvoir suivre en temps réel l'évolution de vos candidatures et pouvoir rester en contact avec nous, nous vous invitons à créer un compte candidat. Cela ne vous prendra pas plus d’une minute et vous permettra également de faciliter vos prochaines candidatures.
En soumettant votre CV ou votre candidature, vous autorisez Renault Group à utiliser et stocker des informations vous concernant à des fins de suivi de votre candidature ou de futurs emplois. Ces informations ne seront utilisées que par les sociétés de Renault Group tel que mentionné dans la Politique Groupe de protection des données personnelles.
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.