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

Contexte de la mission Viveris accompagne ses clients dans la conception et la fabrication d'équipements de haute technologie à destination du secteur ferroviaire. Dans ce cadre, nous recherchons un ingénieur modélisation système, spécialisé dans les systèmes critiques ferroviaires. Il sera en charge développer des modèles et des simulations pour...

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

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

**Pays** France **Lieu de travail** AIX EN PROVENCE-PARC CLUB DU GOLF(FRA) **Société employeur** OMBREA **Domaine** Systèmes d'Information **Lieu** 13 - Bouches-du-Rhône **Type d'emploi** Stage conventionné **Durée du contrat** 6 Mois **Expérience** Moins de 3 ans - Issue d’une formation Bac+4/5 en école d’ingénieur et/ou...

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