News - Page 12 of 34

CLEARSY supplies an ETCS laboratory to the research centre DZSF in Germany. ERTMS, Tools

CLEARSY will provide the German Centre for Railway Traffic Research DZSF (Deutsches Zentrum für Schienenverkehrsforschung) and the Federal Railway Authority […]

CLEARSY realizes the formal proof of the Control – Command – Signalling system of the HPMV project. ERTMS, Railway, Safety

CLEARSY realizes the formal proof of the Control – Command – Signalling system of the HPMV project: the new Hybrid […]

CLEARSY secures the signalling of two maintenance and handover sites in the Paris region. Railway, Safety

CLEARSY secures the signalling of two maintenance and handover sites (SMR) in the Paris region for Mobility and prepares the […]

Two decades of industrial exploitation of the B formal method. Computer science, R&D, Tools

The release of Atelier B 4.7 materializes two decades of industrial exploitation of the B formal method, with the support […]

The new formal tool Atelier B 4.7 is available. Computer science, R&D, Tools

Atelier B 4.7.1 is available in a Community Edition (https://www.atelierb.eu/en/atelier-b-support-maintenance/download-atelier-b/) and in a Maintenance Edition for owners of a maintenance […]

The CLEARSY Fire Safety System (FSS) Supervisor complies with the American FSS standard NFPA 130. Fire safety, Safety, Tools

A standard analysis was performed to determine if the CLEARSY fire safety system (FSS) supervisor could be used in countries […]

CLEARSY R&D Actions on Formal Verification: 10 years and counting… Computer science, R&D, Tools

Proof automation and support for interactive proof are key components in the application of formal methods for software and system […]

CLEARSY at “ICT for railway”, international workshop, from December 7 to 8, 2021 in Toulouse. Exhibitions/conferences, Railway

CLEARSY is pleased to announce its presence at the ICT workshop which will take place from 7 to 8 December […]

Filter posts