Formalisation mathématique d'une spécification fonctionnelle et technique d'un positionneur de vanne F/H

En tant qu'organisateur de forums de recrutement, Talents Handicap accompagne de très nombreuses entreprises & organisations en France dans leurs recrutements de collaborateurs en situation de handicap. Participant actuellement à l'un de nos forums. L'entreprise EDF recherche actuellement des profils : Contexte  Dans les installations nucléaires de production d'électricité d'EDF, il y a un millier d'actionneurs par tranche tout palier (900MWe, MWe, MWe/N4 et EPR).

Ce sont des robinets pneumatiques (TOR (Tout Ou Rien) et réglants) qui sont pilotés par des positionneurs numériques. Ceux-ci sont des boîtes « noires » dont les fonctionnalités sont surdimmensionnées et leur évolution technologique (notamment leur micro-logiciel embarqué) n'est pas maîtrisable par EDF car elle dépend largement du marché du procédé continu (en particulier la pétro-chimie) qui est adressé majoritairement par les fabricants.

Le domaine du procédé nucléaire ne représente qu'une faible part pour les fabricants de positionneurs. Ces derniers ont tous choisi d'utiliser la technologie numérique dont la complexité logicielle induit un coût important pour la Qualification Fonctionnelle Renforcée (QFR) de ces positionneurs par EDF.EDF R&D a engagé un travail de spécification fonctionnelle et technique d'un positionneur numérique de robinet pneumatique et a commencé à réaliser une maquette fonctionnelle qui est réalisée entièrement en technologie FPGA et non plus par un micro-contrôleur.

MissionLe(la) stagiaire travaillera au sein des équipes d'ingénieurs chercheurs de la R&D sous la responsabilité de Tuan Dang, ingénieur chercheur au Département PRISME à EDF Lab Chatou et Christophe Merieux, ingénieur chercheur expert en instrumentation robinetterie du Département MMC à EDF Lab Les Renardières, pour transformer/traduire une spécification fonctionnelle et technique d'un positionneur numérique en une spécification mathématique (formelle) dans un langage comme TLA+ ou FRET et ses outils « Open Source » dédiés pour mettre en œuvre une démarche de Vérification et Validation formelle des fonctionnalités qui ont été implémentées dans la maquette.Pour les besoins de la mission, le(la)stagiaire sera amené(e) à participer à des réunions de travail avec des ingénieurs chercheurs de la R&D  .

Pour cela il(elle) aura à se déplacer ponctuellement en région Parisienne tout en étant accompagné(e) par l'équipe projet.La mission se déroulera au sein du Département PRISME, sur le site EDF Lab Chatou, 6 Quai Watier, Chatou.Profil souhaité :- Stage d'ingénieur de 3ème année avec une orientation mathématique et informatique théorique