Le manuel d’utilisation de la méthode B, le B WORKBOOK, est désormais disponible sur le GitHub de CLEARSY : (https://github.com/CLEARSY/BWORKBOOK). […]
La sécurité n’est pas une option : c’est une exigence. La RATP l’illustre une nouvelle fois en choisissant à nouveau […]
Dans le cadre du déploiement du système européen de contrôle des trains (ETCS Niveau 2) sur une ligne à grande […]
CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]
Hitachi Rail collabore avec CLEARSY, qui fournit un réseau sécuritaire SIL4 d’entrées/sorties développé en France. Cette technologie renforce la sécurité […]
Nous sommes heureux d’annoncer que la dernière version du solveur de données CLEARSY (CLEARSY DATA SOLVER) a renouvelé avec succès […]
Nous avons le plaisir de présenter la feuille de route 2025 de l’Atelier B, le premier IDE pour développer des […]
CLEARSY présente le CLEARSY SAFETY CONTROLLER, un calculateur de sécurité SIL4 ready, basé sur la CLEARSY SAFETY PLATFORM certifiée SIL4 […]