CLEARSY is developing a real-time hardware-based platform for digitising, dating and filtering high-speed analog data. This platform performs the following […]

At the Brazilian conference on formal methods @SBMF 2025 (2–5 December, Recife), the @Metrópole Digital Institute – IMD/UFRN and CLEARSY […]

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

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

CLEARSY and Hitachi Rail have signed a framework agreement to support the development of European rail infrastructure through high-level simulation […]

CLEARSY Safety Platform, a computer for the safe control of equipments. In 2021, CLEARSY pass the certification of its SIL4 […]

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

Safety is not an option: it is a requirement. French railway operator RATP has once again demonstrated this by choosing […]