Réalisation d’un environnement de développement intégré pour l’écriture de règles de validation de données

CLEARSY est une PME Française fondée en 2001 par les ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle appelé Atelier B, utilisé pour spécifier, concevoir, valider les systèmes et réaliser les logiciels critiques (comme le pilote automatique du métro de la ligne 14 à Paris).

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é 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…).
Les équipes CLEARSY interviennent dans toutes les phases d’un projet, de la spécification à la réalisation de systèmes « clé en main » tout en garantissant un respect le plus strict des exigences de sûreté.

CLEARSY développe et distribue à de grands industriels un outil de validation des données de paramétrage de logiciels critiques de sécurité.

Cet outil est basé des règles écrites dans un langage formel, et qui permettent de vérifier si les données concernées sont correctes. Une règle peut appeler une règle plus simple, afin d’accroître la réutilisation du code. Les règles s’appuient en outre sur la structure des données, définis dans des fichiers séparés. Enfin, l’évaluation des règles sur les données se fait en traduisant données et règles en langage B, dans lequel un model-checker cherche des contre-exemples.

Afin de faciliter le travail d’écriture de règles, CLEARSY souhaite développer un outil d’édition de règles qui puisse agréger et présenter de manière claire des informations issues de différentes sources (fichiers de constructions intermédiaires, schéma des données, rapports de l’outil de traduction vers B…).

Location
  • Aix-en-Provence
Duration 6
Level 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