Stage - Template de Modele B Systeme Pour Du

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

Modernisation du générateur d’obligation de preuve d’Atelier B **Objectif : M**oderniser et simplifier le code source du générateur d’obligations de preuve de telle sorte à minimiser ses dépendances externes tout en tirant partie des évolutions récentes du langage C++. **Contexte**: La méthode B est utilisée pour développer formellement...

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

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

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

Etudiants/ Jeunes diplômés - Ingénierie et opérations industrielles - Stage - ID 203939-fr_FR Capgemini Engineering, leader mondial des services d'ingénierie, rassemble des équipes d'ingénieurs, de scientifiques et d'architectes pour aider les entreprises les plus innovantes dans le monde à libérer leur potentiel. Des voitures autonomes aux robots...

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

Stage Ingénieur/e d'étude développeur/se développement d’un modèle de renforcement learning pour l’optimisation dans le contexte de la simulationJoin to apply for the Stage Ingénieur/e d'étude développeur/se développement d’un modèle de renforcement learning pour l’optimisation dans le contexte de la simulation role at CS GROUPDescription...

Utilisation de machine learning pour analyse de fichiers log **Objectif **:Analyser automatiquement les fichiers log d’un système de protection ferroviaire dans le cadre d’opérations de maintenance. **Contexte**: KFS est un système de protection automatique, installé sur des trains et implémentant une fonctionnalité de contrôle de franchissement...

Rejoignez nos **700 collaborateurs** pour participer à notre développement ambitieux ! Avec un chiffre d'affaires de **132 millions d’euros en 2023**, nous répondons au plus près des besoins de nos clients au travers de nos **17 implantations en France et à l'international** (Allemagne, Italie, Royaume-Uni, Suède, Finlande, Etats-Unis,...