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

**EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY** Développement en C++ d’une chaîne de compilation redondée pour certification d’un outil logiciel **Objectif **:Le CLEARSY Data Solver est un logiciel de validation de données développé par CLEARSY et utilisé par plusieurs grands...

**EXTENSION DU COMPILATEUR B POUR PERMETTRE LA CERTIFICATION T3 DU LOGICIEL DE VALIDATION DE DONNÉES DE CLEARSY** Développement en C++ d’une chaîne de compilation redondée pour certification d’un outil logiciel **Objectif **:Le CLEARSY Data Solver est un logiciel de validation de données développé par CLEARSY et utilisé par plusieurs grands...

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