OUTIL DE VALIDATION FORMEL

CLEARSY conçoit, réalise et distribue des systèmes de sécurité certifiés. Elle collabore avec les donneurs d’ordres et les industriels pour adapter des systèmes existants ou concevoir de nouveaux systèmes adaptés aux besoins spécifiques.

Rassemblant 150 ingénieurs répartis sur 4 pôles (Aix – Paris – Lyon – Strasbourg) CLEARSY participe aux projets stratégiques des grands industriels et donneurs d’ordres nationaux et internationaux. L’activité est majoritairement orientée vers les secteurs ferroviaire, énergie (nucléaire) et défense. CLEARSY exporte aujourd’hui son expertise et ses systèmes à l’étranger (Sao Paolo / Stockholm / Caracas / New York / Hiroshima / Honolulu…).

Objectif :

Dans les projets de l’industrie ferroviaire, il est nécessaire de valider les données de voies statiques utilisés par le système embarqué avant de lancer une ligne en production.
Pour ce faire, CLEARSY a développé un outil de validation formel permettant d’exécuter un ensemble de règle de validation permettant de vérifier des caractéristiques entre les éléments de la voie (distance entre balises, position de la signalisation, distance avec les aiguillages,…).

Cet outil pourrait également générer des données intrinsèquement sûres, et pour se faire, il faut sécuriser des éléments de de l’outil (import, traitement, export…) pour pallier les diverses défaillances préalablement identifiées.

Mission :

Les tâches prévues dans le cadre de cette mission :

  • Découverte de l’outil et de son architecture.
  • Analyse des cas de défaillance identifiés.
  • Sécurisation de l’outil :
    • Implémentation de contre-vérifications permettant la détection de corruption des données
    • Développement d’outils tiers de sécurisation des tâches critiques (lecture des données, traitement des résultats,…)
    • Aide à la mise en place d’un banc de tests spécifique
    • Evaluation des performances

Compétences recherchées :

  • Développement C++ / Python / C#
  • Rigueur, autonomie et force de propositions
Location
  • Aix-en-Provence ou Lyon
Duration 6 mois
Level Bac +5

Postuler à cette offre de stage d'ingénieur

Pour postuler merci d’envoyer
un CV et une lettre de motivation
à l’adresse :

stages-ingenieurs@clearsy.com