CLEARSY équipe l’ECOTRAIN avec un système de communication de dernière génération entre la voie et le train
CLEARSY équipe l’ECOTRAIN avec un système de communication de dernière génération entre la voie et le train ERTMS, Ferroviaire, R&D

Plusieurs projets de trains légers tels qu’ECOTRAIN, dévoilé fin 2025, émergent. Dans ce contexte, CLEARSY innove et conçoit des systèmes […]

Comment concilier Intelligence Artificielle et sûreté ferroviaire ?
Comment concilier Intelligence Artificielle et sûreté ferroviaire ? Ferroviaire, R&D

Les analyses de sûreté des logiciels imposent de connaitre leurs algorithmes, tandis que les modèles de Machine Learning (ML) restent […]

CLEARSY sécurise l’ECOTRAIN grâce à son système de détection de voie libre
CLEARSY sécurise l’ECOTRAIN grâce à son système de détection de voie libre ERTMS, Ferroviaire, R&D

Plusieurs projets de trains légers tels qu’ECOTRAIN, dévoilé fin 2025, émergent. Dans ce contexte, CLEARSY innove et conçoit des systèmes […]

Système de localisation sécuritaire : la technologie CLEARSY au service de l’ECOTRAIN
Système de localisation sécuritaire : la technologie CLEARSY au service de l’ECOTRAIN ERTMS, Ferroviaire, R&D

Plusieurs projets de trains légers tels qu’ECOTRAIN, dévoilé fin 2025, émergent. Dans ce contexte, CLEARSY innove et conçoit des systèmes […]

L'Institut Métropole Digital – IMD/UFRN et CLEARSY présentent leurs travaux lors du congrès SBMF du 2 au 5 décembre
L’Institut Métropole Digital – IMD/UFRN et CLEARSY présentent leurs travaux lors du congrès SBMF du 2 au 5 décembre Offres, Outils, R&D, Société

Lors de la conférence brésilienne sur les méthodes formelles SBMF 2025 (2-5 décembre, Recife), l’Institut Metropole Digital – IMD/UFRN et […]

CLEARSY : la sécurité ferroviaire française à l’honneur à l’Élysée.
CLEARSY : la sécurité ferroviaire française à l’honneur à l’Élysée ERTMS, Ferroviaire, R&D

Les 15 et 16 novembre 2025, le train autonome ECOTRAIN, sélectionné pour l’exposition “Fabriqué en France” à l’Élysée, sera présenté […]

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

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