CLEARSY et Hitachi Rail ont signé un accord-cadre, destiné à soutenir le développement de l’infrastructure ferroviaire européenne via des solutions […]
CLEARSY Safety Platform, un calculateur pour le contrôle sécuritaire d’équipements. En 2021, CLEARSY a obtenu le certificat de son calculateur […]
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 […]