Stage - Extension Du Compilateur B Pour Permettre

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

Req ID:468766 Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et solutions de signalisation et de mobilité numérique, nous offrons à la diversité de nos...

Req ID:468766 Chez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et solutions de signalisation et de mobilité numérique, nous offrons à la diversité de nos...

Stage F/H_3 mois - Automatisation et virtualisation de tests pour un pilote automatique de métroChez Alstom, nous avons une connaissance pointue des réseaux de transport et comprenons ce qui conduit les individus à les emprunter. Des trains à grande vitesse, métros, monorails et tramways aux systèmes intégrés, services, infrastructures, et solutions...

Inférence de types appliquée au langage B **Objectif **:Moderniser et améliorer le traitement des types dans Atelier B, par intégration de l’inférence de types dans les outils d’analyse des sources et de génération d’obligation de preuve de l’Atelier B **Contexte**: Atelier B est un environnement de développement pour le langage B. Il...

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

Constitution d’un banc de test pour l’interface graphique de Atelier B **Objectif **:mettre en place un banc de test automatique pour cette interface graphique utilisant Ranorex et à l’intégrer dans le processus d’intégration continue gitlab de Atelier B. **Contexte**: La méthode B est utilisée pour développer formellement des composants...

Constitution d’un banc de test pour l’interface graphique de Atelier B **Objectif **:mettre en place un banc de test automatique pour cette interface graphique utilisant Ranorex et à l’intégrer dans le processus d’intégration continue gitlab de Atelier B. **Contexte**: La méthode B est utilisée pour développer formellement des composants...

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

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