News - Page 7 of 28

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

CLEARSY supports the automation of line 4 of the Paris metro with its system for opening and closing platform screen doors. Metro (CBTC), Railway

Between 2008 and 2011, the system for opening and closing platform screen doors (DOF product) developed by CLEARSY, allows the […]

CLEARSY at SIFER (booth 1-218) from October 26 to 28, 2021 in Lille. ERTMS, Exhibitions/conferences, Metro (CBTC), Railway

CLEARSY is pleased to support the French railway industry by announcing its presence at the SIFER exhibition which will take […]

Filter posts