La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié Génie logiciel, Outils, Sûreté de fonctionnement

La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié. Trois extraits très intéressants : […]

Les portes palières de la ligne 13 de PARIS commandées par le système sécuritaire de CLEARSY Ferroviaire, Métro (CBTC), Sûreté de fonctionnement

La RATP renouvelle sa confiance dans le système développé par CLEARSY et en service depuis 2012 sur la ligne 13, […]

CLEARSY sécurise le logiciel de supervision de SIEMENS Ferroviaire, Métro (CBTC), Sécurité Incendie, Sûreté de fonctionnement

CLEARSY est fier d’accompagner son client SIEMENS MOBILITY dans le projet de sécurisation du logiciel de supervision dans le cadre […]

Renouvellement du partenariat RATP CLEARSY Ferroviaire, Métro (CBTC), Outils, Sûreté de fonctionnement

Nous sommes ravis d’annoncer que CLEARSY a récemment signé un contrat cadre de quatre ans avec la RATP pour la […]

Infrastructure légère communicante et sécuritaire pour renouveler les voies des petites lignes Ferroviaire, R&D, Sûreté de fonctionnement

INFRAlight, projet lauréat France 2030 aidé par l’ADEME, innove en matière d’infrastructure ferroviaire. Il propose des voies en matériaux composites, […]

WEBINAR: How to guarantee the safety of a multi-supplier signaling system? ERTMS, Ferroviaire, Métro (CBTC), Sûreté de fonctionnement

CLEARSY invites you to the WEBINAR: How to guarantee the safety of a multi-supplier signaling system? Tuesday, December 12th 2023 […]

Détection d’obstacles et localisation sécuritaires des trains pour sauver les petites lignes Ferroviaire

Le projet ECOTRAIN vise à redonner vie ou à dynamiser les petites lignes ferroviaires aujourd’hui abandonnées ou menacées. Il est […]

Premières dates de formation à la méthodes B 2024 Génie logiciel, 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 […]

Besoin d'un système sur-mesure ?

Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !

Filtrer les articles