Validation formelle de données de signalisation par CLEARSY pour les agents d’étude SNCF
Validation formelle de données de signalisation par CLEARSY pour les agents d’étude SNCF Ferroviaire, Offres, Outils, Sûreté de fonctionnement

CLEARSY a réalisé la validation formelle des données de signalisation pour le Pôle étude ingénierie de Lyon, dans le cadre […]

CLEARSY œuvre pour améliorer les outils de démonstration mathématique de l’Atelier B
CLEARSY œuvre pour améliorer les outils de démonstration mathématique de l’Atelier B Génie logiciel, Offres, Outils, R&D, Sûreté de fonctionnement

Dans le cadre d’un projet financé par l’Agence National de recherches (ANR), CLEARSY collabore avec le LORIA (Nancy), le CRIL […]

Un accord-cadre CLEARSY-HITACHI pour des nouvelles solutions de simulation ERTMS, Ferroviaire, Offres, Outils

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
CLEARSY Safety Platform, un calculateur pour le contrôle sécuritaire d’équipements Composant, Ferroviaire, Outils, Sûreté de fonctionnement

CLEARSY Safety Platform, un calculateur pour le contrôle sécuritaire d’équipements. En 2021, CLEARSY a obtenu le certificat de son calculateur […]

Le B Workbook est disponible
Le B Workbook est disponible Génie logiciel, Outils, R&D, Sûreté de fonctionnement

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 sécurité n’est pas une option : c’est une exigence Ferroviaire, Offres, Outils, Sûreté de fonctionnement

La sécurité n’est pas une option : c’est une exigence. La RATP l’illustre une nouvelle fois en choisissant à nouveau […]

Outils sur mesure certifié T2 pour des applications de sécurité SIL4 ERTMS, Ferroviaire, Métro (CBTC), Offres, Outils, Sûreté de fonctionnement

Dans le cadre du déploiement du système européen de contrôle des trains (ETCS Niveau 2) sur une ligne à grande […]

Nouvelle formation : pourquoi utiliser une méthode formelle pour réaliser des systèmes sûrs ? Outils

CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]