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 […]

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é et l’Intelligence Artificielle
La sécurité et l’Intelligence Artificielle Ferroviaire, R&D, Sûreté de fonctionnement

Dans une étude récente menée sous la direction du département Exploitation et Sécurité de l’Union Internationale des Chemins de fer […]

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 […]

Nouveau contrat CLEARSY x Hyundai Rotem pour le réseau du sud-est du Queensland Ferroviaire, Offres, Sûreté de fonctionnement

CLEARSY remporte un nouveau contrat avec Hyundai Rotem pour le Queensland Train Manufacturing Program (QTMP) CLEARSY a signé un contrat […]