Stage - Template de Modele B Systeme Pour Du Ferroviaire
il y a 5 jours
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, ensemble d’outils assurant les activités liées à la preuve logicielle, et d’interfaces humain-machine, permettant d’orchestrer les outils du cœur. L’Atelier B permet notamment de créer des projets System, le but étant d’y modéliser de façon abstraite un système réel, d’y intégrer les propriétés que l’on souhaite garantir et enfin de les démontrer.
**Objectif du stage**: CLEARSY cherche à développer une bibliothèque de modèles B générique réutilisable sur les différents projets de modélisation de système ferroviaire. Le stagiaire devra proposer des objets de modélisation adaptés pour représenter la voie, les aiguilles, la position des trains, ainsi que d’autres objets impliqués dans le système de signalisation ferroviaire. Ces modèles seront ensuite utilisés pour exprimer, puis prouver, les propriétés de sécurité de ces systèmes : impossibilité de collision, impossibilité de déraillement.
**Livrables attendus**:
- Documentation
- Modèle B
- Preuve du modèle
**Compétences recherchées**:
- Méthode B
- Modélisation mathématique
- Rigueur, autonomie, force de proposition
**Localisation** : Paris
**Durée** : 6 mois
**Niveau** : Bac +5
Type d'emploi : Temps plein, Stage
Durée du contrat : 6 mois
Rémunération : à partir de 900,00€ par mois
Avantages:
- Flextime
- Prise en charge du transport quotidien
Horaires:
- Travail en journée
Lieu du poste : En présentiel
-
Ingénieur modélisation système
il y a 1 semaine
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France Viveris Temps pleinContexte 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...
-
Stage : Conception Systeme de Detection Camera 3D
il y a 2 semaines
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Stage : Conception Systeme de Detection Camera 3D
il y a 5 jours
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Stage - Intelligence Artificielle Pour Systeme de Protection
il y a 5 jours
Aix-en-Provence, France CLEARSY Temps pleinUtilisation 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...
-
Aix-en-Provence, France CLEARSY Temps plein**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
il y a 1 jour
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Extension Du Compilateur B Pour Permettre La
il y a 5 jours
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Extension Du Compilateur B Pour Permettre La
il y a 1 jour
Aix-en-Provence, France CLEARSY Temps plein**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...
-
Aix-en-Provence, France CLEARSY Temps pleinModernisation 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...
-
Aix-en-Provence, France CLEARSY Temps pleinConstitution 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...
