Stage - Automatisation D’un Banc de Tests de
Objectif du stage :Dans le pôle de validation formelles de données critiques, l’extraction des data du client est vérifiée manuellement. Afin d’accélérer le processus, il faut repenser et voir ce qui peut être automatisé pour tester et valider cett…
Stage - Systeme de Communication Par Cable Rayonnant
Objectif du stage : Le stage se décompose comme un projet de R&D. L’objectif est d’étudier la technologie et de concevoir maquette fonctionnelle « proof of concept » la propagation d’ondes radio dans une file de rail ferroviaires. La finalité du…
Etude Avant-projet Pour La Mise a Niveau D'un
Objectif du stage :Analyser l'impact sur l'architecture et sur l'environnement système de la qualification d'une IHM industrielle à un niveau de sûreté nucléaire. L'équipement cible est conçu pour des normes industrielles. CLEARSY prévoit d'y ajouter u…
Etude de Securite Et D'architecture D'une
Objectif du stage : Analyser l'impact sur l'architecture d'une passerelle de communication de l'implémentation d'un nouveau protocole et d'une qualification aux normes nucléaires. Il s’agira de: Appréhender l'architecture d'une passerelle de communication…
Stage - Conception Electronique D’un Controleur
Objectif du stage :Les boucles 4/20mA sont des interfaces qui permettent d’émettre une valeur analogique et de lire ces valeurs avec une bonne immunité aux perturbations électromagnétiques.   Les relais à seuil sont des relais qui lisent une boucle …
Developpement D’un Environnement Permettant de
Objectif du stage :La CLEARSY Safety Plateform (CPS) est un calculateur sécuritaire qui permet de faciliter le développement de systèmes critiques. Elle intègre également une librairie logicielle et une chaine d’outil entièrement intégrée (Docker o…
Stage - Developpement Banc de Tests Automatise
Objectif du stage :L’Atelier B consiste en un ensemble d’outils permettant la mise en Å“uvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation …
Stage - Validation Des Etudes de Surete de
Pour la majeure partie des projet et produit conçu par CLEARSY, une certification SIL2, SIL3 ou SIL4 est effectué par un organisme externe qui audit la conception, la validation et le raisonnement de sécurité. Afin d’obtenir cet avis favorable de certifi…
Extension Du Compilateur B Pour Permettre La
Objectif du stage :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Å
Stage - Developpement Logiciel D’un Outil de
Objectif du stage : Développement d’un outil de génération de données sécuritaire, destiné à l’industrie ferroviaire. Les concepteurs de systèmes ferroviaires sont amenés à générer de grandes quantités de données à partir de la topologie des…