Atelier B T2 Certified Edition now available for purchase Computer science, Tools

We are pleased to present the 2025 roadmap for Atelier B, the premier IDE for the B-method and Event-B! This […]

The new reference SIL4 safety system development platform R&D, Safety, Tools

CLEARSY presents the CLEARSY SAFETY CONTROLLER, a SIL4 ready safety controller based on the CLEARSY SAFETY PLATFORM, which has been […]

CLEARSY’s ETCS simulation tool in use in Germany Component, ERTMS, Offers, Railway, Tools

Two European Train Control System (ETCS) laboratories have been in use since 2024 in Germany, in Munich and Dresden, by […]

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