Description du stage Eurogiciel

Dans le cadre de ses activités de développement et de test, EUROGICIEL souhaite s’enrichir d’outils internes permettant d’apporter un soutien aux activités en cours.
Dans le cadre de la vérification de logiciels embarqués, les chemins critiques amenant une défaillance d’un système doivent faire l’objet d’une analyse.
Hors, il existe parmi ces chemins critiques des objectifs spatiaux et temporels tels que le taux d’utilisation de pile, la mémoire vive dédiée à la tâche, le temps de réaction à un événement, …
Pour cela, EUROGICIEL souhaite poursuivre une étude sur l’analyse dynamique d’un code C.
Le code doit être modélisé pour en déduire un nombre de cycle de traitement


Description du stage
Le stagiaire partira d’hypothèses rigides concernant le type de processeur (PPC) et le langage (.c).
Grâce à l’utilisation d’un parseur (exemple Lex/Yacc), et par identification d’affection, appel de fonction, branchement, … il produira un fichier qui associe un poids aux éléments identifiés.
Il prendra en compte les contraintes d’édition de liens externes (appel de fonction par pointeur, …) pour établir un arbre de décision.
L’objectif sera selon différents critères d’extraire le chemin critique au regard de l’utilisation de la pile, du nombre de cycle processeur, de l’utilisation de la mémoire.
Mots clés : Analyseur syntaxique et sémantique, connaissance des comportements des compilateurs et processeurs.

Encadrement
Le stagiaire sera piloté par un chef de projet lui assurant un encadrement fort.
Il aura l’occasion de déployer son travail auprès de projets consommateur de cette information.

Tâches à réaliser
Le stage se décomposera en plusieurs phases :
Prise de connaissance du contexte du stage :
Compréhension du besoin,
Prise en main des outils d’analyse syntaxique,
Montée en compétence sur le langage C.
Recherche de solution et limites de l’analyse,
Production d’une démonstration sur un périmètre réduit,
Etablissement d’une feuille de route pour étendre la fonctionnalité,
Production documentaire (manuel utilisateur, document de maintenance, …)

Contexte technique du stage
Le stage porte sur la démonstration de l’adéquation d’une architecture face à un besoin. La difficulté du stage réside dans le fait qu’il s’agit plus d’une démarche que d’un produit fini.

Le contexte de développement est le suivant :
Plateforme cible : PC
Langages de programmation : à déterminer
Outil de gestion de configuration : SVN
Norme ANSI C


Elève ingénieur ou universitaire BAC+5
Bon niveau d’anglais Contexte export, documentation en anglais
Connaissances techniques : Programmation, Algorithmique, Linux et Windows.
Connaissances générales :Assembleur, processeur
Durée : 5 à 6 mois
stage de pré-embauche