Outillage pour la validation de règles de preuve de l’Atelier B
2020

Ce stage a pour objectif d’étendre l’outil Outil Preuve de Règles et son interface pour permettre d’utiliser d’autres prouveurs mathématiques que le prouveur de prédicat pour vérifier des règles de preuve, afin de réduire les règles à valider manuellement.

Systèmes de communication train/sol
2020

L’objectif du stage est de réaliser l’équipement sol et en particulier l’intégrer dans le système global. Le stagiaire devra concevoir le logiciel embarqué sur cet équipement et mettre à jour le logiciel du système embarqué. Le système assurant une fonction sécuritaire (commande d’ouverture de portes, le stagiaire devra appréhender les notions de codage de logiciel de sécurité.

Comparaison normes sécurité incendie étrangères (ex : norme NFPA130) avec identification des écarts avec NF SI/IEC61508
2019

Vous travaillerez à l'édition d'une étude des écarts entre une norme de sécurité incendie étrangère et la norme Française NF SI/IEC61508.

Mise en place et maintien de la sûreté de fonctionnement d’un système sécuritaire
2019

Définir et implémenter les activités relatives à la sûreté du fonctionnement de systèmes sécuritaire

Réalisation d’un outil de vérification automatique de données
2019

Développer une preuve de concept d’une telle chaîne. Il s’agit de valider la faisabilité technique de cette chaîne, mais également d’évaluer les possibles gains en performance par rapport à la chaîne actuelle.

Génération automatique de tests pour les règles de validation de données
2019

développer un outil de génération automatique de données-tests. Cet outil devra, à partir des propriétés énoncées, identifier les principaux cas d’intérêt et construire des jeux de données-tests permettant de les éprouver.

Preuve de concept de génération de données correctes par construction
2019

Développer une chaîne de génération semi-automatique de données, valides par construction.

Système d’asservissement de suspension hydraulique ferroviaire
2019

Repartir de la plateforme Hardware existante sans la modifier et de mettre à jour le logiciel existant pour acquérir de nouvelles données et effectuer plus de traitement.

Nous rejoindre

CLEARSY recrute,
rejoignez notre équipe !

Contactez CLEARSY