Video du LAPP

Video

Plaquette du LAPP

Plaquette

IN2P3 Escape CERN LAPTh Enigmass Asterics


Rechercher


Accueil du site > Emploi/Formation > Stages techniques

Étude d’une alternative à l’environnement Linux RTAI dans l’expérience Virgo

Le détecteur d’ondes gravitationnelles Virgo, installé à Pise, fonctionne sur le principe d’un interféromètre laser avec des bras de 3 km de long. De nombreuses photodiodes reçoivent le faisceau laser en différentes localisations et sont utilisées pour contrôler en temps-réel le point de fonctionnement du détecteur. Le contrôle du point de fonctionnement de l’interféromètre consiste à contrôler les positions des miroirs de l’interféromètre. Ces contrôles sont effectués à 10 kHz par plusieurs boucles d’asservissement numérique synchrones structurées en pipeline. Une partie de ce pipeline fonctionne sur des machines temps réel basées sur le système d’exploitation Linux et la couche temps réel RTAI. La nécessaire évolution du matériel liée à leur rapide obsolescence, ainsi que les incertitudes sur l’avenir du projet RTAI nous amènent à nous intéresser aux alternatives à cet environnement.

L’objet de ce stage consiste à étudier une ou plusieurs alternatives à RTAI, en comparant leurs performances sur des points clefs du fonctionnement des boucles d’asservissement (latence du traitement des interruptions, exécution du code temps réel dans l’espace utilisateur). Les compétences développées lors de ce stage sont la connaissance du langage C, la programmation noyau, l’ordonnancement temps réel, la gestion des interruptions matérielles. Ce travail s’effectuera en collaboration avec des physiciens et ingénieurs en informatique et électronique.

  • Niveau : ingénieur
  • Service : informatique
  • Date du stage : printemps 2020
  • Encadrant : Emmanuel Pacaud (pacaud@lapp.in2p3.fr)

Sujet détaillé :