Stage - Etude Securite de Systeme D’enclenchement Ferroviaire

CLEARSY conçoit, valide et fait certifier des logiques d’enclenchement (logique qui permet de piloter un ensemble d’appareils physique comme des feux, aiguillesafin de tracer des itinéraires pour les trains en sécurité). Cette logique est implémentée sur une architecture de conception CLEARSY à base d’automate et de relais de...

CLEARSY conçoit, valide et fait certifier des logiques d’enclenchement (logique qui permet de piloter un ensemble d’appareils physique comme des feux, aiguillesafin de tracer des itinéraires pour les trains en sécurité). Cette logique est implémentée sur une architecture de conception CLEARSY à base d’automate et de relais de...

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 logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est formé d’un cœur,...

L’avènement de l’autonomie dans les transports et la volonté de mobilité frugale implique un nombre grandissant de projets visant à développer et réhabilité les lignes de désertes fines du territoire. CLEARSY est impliqué dans 2 de ces projets visant à sécuriser aussi bien l’infrastructure que les systèmes matériels roulants. Dans ce...

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 logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est formé d’un cœur,...

CLEARSY conçoit et dépolit un système de contrôle commande de porte palière SIL4 (plus haut niveau de sureté de fonctionnement selon les normes Cenelec) pour le métro de Brisbane en Australie. Dans ce cadre, il est nécessaire de produire un dossier de sécurité visant à démontrer l’assurance qu’apporte le système pour réaliser sa fonction...

**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 existante - Appréhender les exigences des normes de sécurité nucléaire pour les...

**L’objectif du stage** est de concevoir un prototype fonctionnel d’un système de localisation de train à base de tag/lecteur RFID. Pour cela, une bonne connaissance de cette technologie et des produits existants sur le marché sera nécessaire. Le stagiaire commencera donc par étudier l’état de l’art et l’existant en vue de spécifier...

**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 produit est d’utiliser les éléments déjà en place sur une voie (comme le rail) comme...

**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 produit est d’utiliser les éléments déjà en place sur une voie (comme le rail) comme...