RSSRail 2022 conference, Save the date! Paris, June 1-2nd, 2022 Exhibitions/conferences, Railway

This year the RSSRail 2022 conference will take place in Paris, France at UIC – International union of railways #UICrail, […]

CLEARSY will participate to RSSI trade show in Kansas City next May Exhibitions/conferences, Railway

CLEARSY will participate to RSSI trade show in Kansas City next May. The “Railway Systems Suppliers” (RSSI) is a trade […]

CLEARSY will attend the ERTMS 2022 Conference ERTMS, Exhibitions/conferences, Railway

CLEARSY will attend the ERTMS 2022 Conference in Valenciennes from the 26th to the 28th of April 2022, organized by […]

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

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!

Filter posts