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 […]
CLEARSY Safety Platform, a computer for the safe control of equipments Component, Railway, Sûreté de fonctionnement, Tools
CLEARSY Safety Platform, a computer for the safe control of equipments. In 2021, CLEARSY pass the certification of its SIL4 […]
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 […]
Artificial Intelligence and safety R&D, Railway, Sûreté de fonctionnement
In a recent study conducted under the direction of the Operations and Safety Department of the International Union of Railways […]