Stage recherche - evaluation et extension d'outils de vérification d'opérateurs kubernetes f/h

Votre rôle

Les industries de télécom connaissent un écosystème mouvant et des transformations technologiques majeures. Elles ont l'obligation de fiabiliser leurs infrastructures et applicationsTelcoCloud et de se préparer aux besoins de la 6G.

La virtualisation des infrastructures s'appuie largement sur les opérateursKubernetes[1] pour la gestion du cycle de vie (upgrade, mise à l'échelle...) de ces applications.

Dans ce contexte de systèmes cloud par nature complexe, dynamique et distribué, le bon fonctionnement, stable, reproductible, sécurisé, des opérateursKubernetess'avère crucial.

Or les bugs de code d'opérateurs sont souvent complexes à déceler par nature.D'une part,la configuration des ressources manipulées par ces opérateurs peut être sujette à des erreurs. D'autre part, les opérateurs coordonnent de multiples étapes pour rendre le service attendu, interagissent avec d'autres contrôleurs deKubernetesou avec des composants externes. Lessymptômes de bugs liés à l'état du système sont plus ou moins explicites, voiresilencieux lorsque l'état est instable ou ne correspond pas à l'état cible.

Lesconséquencespeuventêtrenonnégligeables,voiresévères(panne,blocage, faille desécurité,pertede données...), quecesoiten phase dedéploiementouen phaseopérationnelle, entermesdeconsommationderessourcessystèmeset de tempsd'analyseet derétablissement[2].

Le stage est proposé dans le cadre d'un domaine de recherche sur l'évolution des infrastructures et des réseaux. Notamment, il sera coordonné avec une thèse en cours sur l'analyse de comportement des opérateursKubernetes.

[1]https://kubernetes.io/docs/concepts/extend-kubernetes/operator/

[2] https://www.crn.com/news/cloud/the-10-biggest-cloud-outages-of-2023-so-far?page=1

Mission

Vous avez pour mission de réaliser le benchmark d'un outil expérimental de vérification d'opérateurs Kubernetes,

Les étapessuivantessontproposées:

* Actualiser l'état de l'art sur les bugs d'opérateurs Kubernetes, leur classification et les outils de vérification d'opérateurs Kubernetes
* Sélectionner et prendre en main l'outillage expérimental et son environnement (Kubernetes, KubeBuilder, Golang)
* Evaluer l'outillage en le confrontant aux différentes catégories de bugs
* Développer les add-ons/extensions à l'outillage selon les bugs recherchés (par ex. exprimer de nouvelles propriétés à vérifier)
* Documenter l'utilisation de l'outillage

Datesouhaitéedeprisede poste : dejanvierà mars 2026, pour 6 mois