STAGE Conception d’un outil automatisant la transformation de code Ada F/H

Date de mise à jour de l’offre

SAS Systerel :

Bureau d'Ingénierie spécialisé en systèmes critiques temps réel ou de sécurité

Description de la mission

Contexte :

À la rencontre des activités sur les méthodes formelles et des activités sur le développement temps réel, un champ de compétences de Systerel est la conversion de code industriel existant en Ada pour utiliser l’analyseur formel SPARK.

Cette conversion passe souvent par la reformulation de certaines constructions interdites en SPARK, ce qui peut se révéler répétitif et pénible.

Objectif :

L’objectif du stage est de concevoir un outil automatisant la transformation de code Ada au moyen d’un parser basé sur libAdaLang. Cette bibliothèque permet de manipuler l’AST, et régénérer du code Ada.

Il s’agira donc de prendre en main la bibliothèque libAdaLang, et traduire en code Ada ou Python les transformations réalisées « à la main » par un ingénieur.

Profil recherché

De formation supérieure en informatique, vous avez des affinités pour le développement logiciel, le test et l’automatisation. Vous êtes d’un naturel curieux et vous êtes intéressé par le fonct

Niveau de qualification requis

Bac + 4/5 et +
  • Employeur
    SAS Systerel
  • Secteur d’activité de la structure
    Emploi - Economie - Innovation - Numérique
  • Effectif de la structure
    De 51 à 250 salariés
  • Site internet de la structure
    https://www.systerel.fr
  • Type de stage ou contrat
    Stage pour lycéens et étudiants en formation initiale
  • Date prévisionnelle de démarrage
  • Durée du stage ou contrat
    Plus de 4 mois et jusqu'à 6 mois
  • Le stage est-il rémunéré ?
    Oui
  • Niveau de qualification requis

    Bac + 4/5 et +
  • Lieu du stage
    3 Rue Danton
    92240 MALAKOFF
  • Accès et transports
    Métro Malakoff Plateau de Vanves