Stage - Extension Du Compilateur B Pour Permettre La Certification 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...

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

**Objectif**: Développer une bibliothèque qui regroupe l’ensembles des fonctionnalités actuelles pour consulter et manipuler un projet B, de telle sorte à ce qu’il soit possible de remplacer, dans l’interface graphique, la couche d’appel à l’interface en ligne de commandes par des appels directs à l’API offerte par cette...

Contexte du recrutement et définition de poste : DESCRIPTION DES FONCTIONS Contexte : L’Office français de la biodiversité (OFB) est né le 1er janvier 2020. Ce nouvel établissement public, placé sous la tutelle des ministres chargés de l’environnement et de l’agriculture, a été créé pour protéger et restaurer la biodiversité. Il intègre...

Compiler Expert (h/f/n)Full TimeDès maintenantSaint-Germain-en-Laye, FrankreichAbout SYSGO...SYSGO and PikeOS - Wherever Safety & Security matters SYSGO is the leading European provider of real-time operating systems for critical embedded applications. Our products have been designed to meet the highest requirements when it comes to safety and security....

Join to apply for the Compiler Expert (h/f/n) role at SYSGO - Embedding Innovations About SYSGO SYSGO and PikeOS - Wherever Safety & Security matters SYSGO is the leading European provider of real-time operating systems for critical embedded applications. Our products are designed to meet the highest safety and security standards. Our customers include...

Développement d’un workbook pour l’Atelier B et la méthode B **Objectif**: développer un workbook à destination des étudiants découvrant la méthode B et l’Atelier B. **Contexte**: L’environnement technique est: - B pour la modélisation, - le langage de preuve (script, règles mathématiques) du prouveur interactif de l’Atelier B, - C...