Ingénieur logiciel embarqué h/f

Description du poste

Titre du poste

Ingénieur logiciel embarqué H/F

Contrat

Stage

Description de l'équipe

Equipe de développement métrologique responsable du logiciel légale de mesure d'énergies des compteurs électriques.

Description de la mission

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

1. Mettre en place l’analyse sur la partie communication du logiciel embarqué
2. Analyser et corriger les vulnérabilités détectées
3. Améliorer l’analyse existante sur la partie métrologique du logiciel

Profil recherché :

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.

Ce que vous trouverez chez Sagemcom :

.