Sujet : amélioration de la sûreté de fonctionnement du logiciel embarqué dans les compteurs communicants
Détails
Le logiciel embarqué dans les compteurs communicants est composé de deux principaux blocs : une partie comptage, ou métrologique, et une partie communication. Des analyses statiques, basées sur l'interprétation abstraite, ont été mises en place sur la métrologie, qui est la partie la plus critique.
Dans ce contexte, le logiciel Trust In Soft, avec son analyse par valeur (basée sur Frama-C/Eva), est utilisé pour détecter de nombreuses formes de vulnérabilités, telles que des dépassements de mémoire.
Missions
Mettre en place l'analyse sur la partie communication du logiciel embarqué
Analyser et corriger les vulnérabilités détectées
Améliorer l'analyse existante sur la partie métrologique du logiciel

Stage de fin d'études, école d'ingénieur généraliste / informatique

Savoir
Très bonne connaissance du langage C
Connaissance du langage C++, python
Bureautique Windows
Intérêt pour l'analyse statique

Être / avoir
Sens du contact et du travail en équipe
Autonomie
Sagemcom est une entreprise handi-accueillante.