CLEARSY
La société CLEARSY
CLEARSY a été fondée le 1er Janvier 2001 par l’équipe d’ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle nommé Atelier B, utilisé dans le secteur du ferroviaire pour réaliser les logiciels de sécurité.
CLEARSY : ingénierie de systèmes sécuritaires
Nous sommes une PME française, spécialisée dans la réalisation de systèmes et de logiciels sécuritaires de niveau SIL1 à SIL4. Nous développons des systèmes complexes en assurant leur conception, jusqu’à leur mise en service, en passant par leur validation, vérification et étude de sécurité.
CLEARSY réalise notamment des systèmes et logiciels sûrs dans les domaines ferroviaire, automobile, militaire, spatial et nucléaire.
Télécharger la brochure de CLEARSY
Télécharger
Télécharger le catalogue des produits ferroviaires
Télécharger
Télécharger la présentation des produits ferroviaires
Télécharger
Présentation
Nous sommes une PME française, spécialisée dans la réalisation de systèmes et de logiciels sécuritaires de niveau SIL1 à SIL4. Nous développons des systèmes complexes en assurant leur conception, jusqu’à leur mise en service, en passant par leur validation, vérification et étude de sécurité.
CLEARSY réalise notamment des systèmes et logiciels sûrs dans les domaines ferroviaire, automobile, militaire, spatial et nucléaire.
Télécharger la brochure de CLEARSY
Télécharger
Télécharger le catalogue des produits ferroviaires
Télécharger
Télécharger la présentation des produits ferroviaires
Télécharger
Présentation
Actualités
Validation formelle de données de signalisation par CLEARSY pour les agents d’étude SNCF
22 octobre 2025 | Ferroviaire
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
21 octobre 2025 | Génie logiciel
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
14 octobre 2025 | ERTMS
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
7 octobre 2025 | Composant
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
1 octobre 2025 | Génie logiciel
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
30 septembre 2025 | Ferroviaire
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 […]
Logiciels & systèmes sécuritaires
Tous nos systèmes et logiciels sécuritaires disponibles ci-dessous. Vous avez une problématique spécifique, contactez-nous.
systèmes opérationnels
