A world first: system safety reasoning is T2 EN50129 SIL4 formally proven Computer science, Offers, Safety, Tools

The activity of formal system proof consists in mathematically expressing the global properties by which system safety is guaranteed, and […]

New Lille driverless metro in service Metro (CBTC), Railway, Safety, Tools

Congratulations to Alstom on the commissioning of the Urbalis Fluence system on line 1 of the Lille metro! At CLEARSY, […]

T2 certification for Atelier B Computer science, Safety, Tools

Atelier B was designed by CLEARSY to produce safe, zero-defect software that complies with its specifications. What makes it special? […]

CLEARSY and UFRN make cooperation agreement to promote international internships. Computer science, R&D, Tools

After more than a decade of collaboration in research and development, CLEARSY and UFRN have signed a cooperation agreement to […]

The formal development tool ATELIER B passes 10,000 downloads! Component, R&D, Tools

Atelier B has just passed the 10,000 annual download mark for the first time. The start of the 2024 academic […]

Joining and splitting of ERTMS trains on the CLEARSY ERTMS Train Simulator ERTMS, Tools

Transforming Rail Transportation with Advanced TVS Features! Hitachi rail and CLEARSY are proud to showcase the joining and splitting feature […]

CLEARSY développe une nouvelle version de banc de qualification des liaisons classées des automates nucléaires Schneider Electric Energy/nuclear, Safety, Tools

Depuis 2016, CLEARSY a réalisé plusieurs bancs de qualification des liaisons classées d’automates programmables industriels (SCHNEIDER ELECTRIC, SIEMENS, HIMA) pour […]

CLEARSY reinforces rail safety with an advanced signaling simulator ERTMS, Offers, Tools

CLEARSY has just delivered a railway signaling simulator for the Corsica Single Track Centralized Control (CCVU) project, covering the French […]