Atelier B est un environnement de développement logiciel intégré (IDE) pour les méthodes formelles B et le B événementiel. Cette […]
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 […]
Objectif du stage : Travaux de développement et d’évolutions sur un outil de preuve formelle. Atelier B est un environnement […]
Objectif du stage : Ce stage vise à fiabiliser un système informatique de contrôle d’écran de supervision de procédé industriel. La […]
Objectif du stage : Valider et faire évoluer un système innovant de localisation de train à la voie. Contexte : […]
Objectif du stage : Développer une carte électronique permettant la mise en réseau radio de plusieurs équipements distants. L’objectif est […]
Objectif du stage : Concevoir et industrialiser un banc de test portable pour les calculateurs et balises du système d’arrêt […]
CLEARSY conçoit des briques sécuritaires incluses notamment dans les pilotes automatiques de métro. Ces éléments de sécurité sont tous interconnectés […]