EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY

Développement en C++ d’une chaîne de compilation redondée pour certification d’un outil logiciel

Objectif : Le CLEARSY Data Solver est un logiciel de validation de données développé par CLEARSY et utilisé par plusieurs grands noms du ferroviaire. Cet outil est aujourd’hui certifié T2 selon la norme EN 50128, ce qui correspond aux outils de vérification pour des systèmes critiques.

Dans le cadre d’une certification au niveau T3 (classe d’outil ultra sécuritaire) du CLEARSY Data Solver, le stagiaire interviendra dans la mise en place d’une chaîne de compilation redondée en intégrant au compilateur B de CLEARSY des extensions à ce langage utilisées dans le CLEARSY Data Solver. Le développement se fera en C++ et aura lieu dans un cadre d’intégration continue dont il sera nécessaire de faire la mise à jour avec les extensions réalisées.

Livrables attendus :

• Nouvelle chaîne de compilation

Compétences recherchées :

• Méthodes formelles
• C++
• Intégration continue
• Rigueur, autonomie, force de proposition

Pour postuler merci d’envoyer un CV et une Lettre de motivation à l’adresse stages-ingenieurs@clearsy.com