News - Page 7 of 28

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

The challenge of cybersecurity for safe systems. R&D, Safety

The LabSoC laboratory at Telecom Paris school and CLEARSY are joining forces for two years to integrate cybersecurity threat management […]

The platform screen doors of the line 4 of PARIS is now in operation in security. Metro (CBTC), Railway

CLEARSY is the prime contractor in the design, supply and deployment of the detection system of individual, in the gaps […]

Filter posts