Archives des Computer science

Safety is demonstrated first at the system level Computer science

For railway signalling and urban transport systems, safety cannot be reduced to a simple check carried out at the end […]

CLEARSY supports Luxtram in the development of SIL4 safety-critical automation software Computer science, Railway

For several years, CLEARSY has been supporting the development of SIL4 safety-critical automation software for the manoeuvring areas of the […]

Modernise without compromising safety: discover CLEARSY’s system analysis and renovation services Computer science, Offers, Sûreté de fonctionnement, Tools

CLEARSY presents its system analysis and renovation services, a comprehensive offering dedicated to the modernisation of safety-critical systems. Designed to […]

CLEARSY works to improve the mathematical demonstration tools of Atelier B Computer science, Offers, R&D, Sûreté de fonctionnement, Tools

As part of a project funded by the French National Research Agency (ANR), CLEARSY is collaborating with LORIA (Nancy), CRIL […]

The B WORKBOOK is now available Computer science, R&D, Sûreté de fonctionnement, Tools

The user manual for B Method, the B WORKBOOK, is now available on CLEARSY’s GitHub: (https://github.com/CLEARSY/BWORKBOOK). After several months of […]

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

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

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