STMicroelectronics
Location
Crolles, Isère | France
Job description
Votre alternance se déroulera chez STMicroelectronics à Crolles (Isère) au sein de l'équipe Exploration / Haute Fiabilité, qui étudie la fiabilité des systèmes digitaux soumis à des fautes radiatives, pour une utilisation dans de nombreux domaines aux contraintes de fiabilité et de sureté fonctionnelle fortes tels que l'aéronautique, le spatial, ou encore l'automobile.
Votre travail s'inscrira dans le cadre d'une l'analyse de sureté fonctionnelle d'un circuit de type « System-On-a-Chip » (SoC) à base de microprocesseur RISCV par Model Based Safety Assessment (MBSA, analyse de sureté basée sur des modèles). Par injection de fautes en simulation, vous extrairez les modes de défaillance possible de chacun des sous blocks du système afin de construire un modèle dysfonctionnel (modèle décrivant comment le système dysfonctionne) pour chacun d'eux. Ensuite vous composerez ces différents modèles au sein d'un environnement dédié afin de prédire les modes de défaillance du système complet. Les prédictions faites seront alors confrontées à des campagnes d'injection de fautes faites sur le système complet
Vous serez amené à prendre en main un SoC RISCV existant ainsi que l'environnement de simulation et d'injection de fautes existant. Vous préparerez les campagnes d'injection de fautes, les réaliserez et effectuerez un dépouillement et une analyse soigneuse des résultats obtenus pour chaque bloc. Si besoin, vous développerez ou compléterez le développement d'outils existants permettant l'analyse des traces de simulation et l'extraction des modèles dysfonctionnels. Vous utiliserez ensuite le langage Altarica et le framework AltaricaStudio pour la modélisation dysfonctionnelle et la composition des modèles. Vous terminerez alors votre analyse en produisant un rapport de FMEA (Failure Mode Effect Analysis) du type de ceux produit pour la certification par la norme ISO26262 en sureté fonctionnelle des SoC pour l'automobile.
Durant cette alternance vous
Prendrez en main un SoC RISCV ainsi que son environnement de simulation hardware et software
Réaliserez des analyses FMEA par injection de faute au niveau de chaque sous-bloc
Développerez ou compléterez des outils permettant l'extraction de modèles dysfonctionnels
Prendrez en main le framework Altarica Studio pour y effectuer vos analyses de sureté fonctionnelle et produire une analyse FMEA au niveau système (SoC)
Contribuerez à l'amélioration du SoC RISCV existant sur les aspects sureté fonctionnelle hardware et software à partir des analyses produites
Travaillerez en collaboration avec les autres étudiants actuellement en alternance ou en thèse dans l'équipe
Cette alternance s'adresse à des étudiants ayant un goût marqué pour l'analyse de fiabilité, les méthodes formelles et ses aspects théoriques ainsi qu'un intérêt pour la sureté fonctionnelle des systèmes digitaux mais aussi l'application à un cas réel. En outre il faudra aussi être capable de s'appliquer et faire preuve de rigueur. Liste des compétences :
ObligatoiresProgrammation C/C++ (sous Unix)
Unix, bash (sed/awk), pyhton, scripts, tableurs et manipulation de données (Excel)
Notion de théorie des graphes, automates
Notion d'architecture des systèmes digitaux
Probabilités et statistiques
Rgueur, clarté, organisation et persévérance
Souhaitées / négociablesMéthodes formelles, notions de « model checking »
Sureté fonctionnelle des ystèmes digitaux et SoCs
o Sureté fonctionnelle automobile (ISO26262)
La rigueur, la clarté et l'organisation seront des qualités primordiales pour cette alternance tout comme le sera la persévérance.
Niveau d'anglais : Anglais technique
Expérience attendue : Stages et TP d'informatique, mathématiques appliquées
Niveau d'étude requis : DUT génie informatique, Master 1 informatique et mathématique appliquées
Job tags
Salary
