Stage - Developpement de L’outil Clearsy Diagram

**Objectif du stage **:Faire évoluer l’interface graphique de l’outil CLEARSY Diagram Editor en vue d’améliorer l’expérience utilisateur et l’architecture du logiciel. CLEARSY Diagram Editor est un outil qui permet de numériser les informations métiers contenues dans des fichiers graphiques contenant des plans techniques tels que des schémas...

Objectif du stage : Développement d’une carte mère pour calculateur sécuritaire 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...

**Objectif du stage **: Développement C++ / Qt IHM d’éditeur graphique de plans de voies ferré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...

**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 ou machine virtuelle) permettant de compiler directement les binaires finaux.  L'objectif du...

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

**Objectif du stage **:Développer un traducteur de modèles formels B vers le langage Rust 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...

**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érification pour des systèmes critiques. Dans le cadre d'une certification au niveau T3...

**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érification pour des systèmes critiques. Dans le cadre d'une certification au niveau T3...

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

**Objectif du stage **: Programmation d’un protocole d’échanges sécuritaires sur un automate industriel 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...

**Objectif du stage **: Travaux de développement et d’évolution sur un outil de preuve formelle 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...

**Objectif du stage **: Concevoir un système de détection d’obstacle pour un projet de véhicule autonome 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...

**Objectif du stage **:Afin d’aider les ingénieurs dans leur travail quotidien, des outils internes sont fréquemment ajoutés ou modifiés pour optimiser le temps de production. CLEARSY souhaite améliorer et compléter les outils du pôle de validation formelle de données. Les outils à produire sont les suivants : - Création d’une extension...

**Objectif du stage **:Preuve de concept pour remplacer un système de détection laser par des caméras 3D 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...

**Objectif du stage **:Preuve de concept pour remplacer un système de détection laser par des caméras 3D 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...

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...

**Objectif du stage **: concevoir un prototype fonctionnel d’un système de localisation sécuritaire de train 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...

CLEARSY a d’ores et déjà fait certifier un calculateur sécuritaire et va intégrer un nouveau module cybersécurisé. Intégré à une équipe de projet R&D visant à concevoir un module à la fois sécuritaire et cybersécuritaire, le stagiaire aura donc pour objectif de concevoir l’électronique de la carte mère servant à accueillir ces 2...

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...

**Objectif du stage **:Travaux de développement et d’évolution sur un outil de preuve formelle. Atelier B est un environnement graphique de développement de logiciel avec la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et...