Tools

Atelier B is a tool enabling the operational use of B method. In a coherent environment, it provides many functions […]

Our high performance data/events logger and analyzer product called DAME which is a software middleware especially designed.

Documentation & Certification Download CLEARSY Data solver leaflet Certificat EC 9322/02/35   Formal data validation tool In the railways, safety […]

The framework enables the implementation and execution of equipment tests. Its modular design and tailor-made nature allow it to be […]

The CLEARSY Safety Platform is aimed at easing the development and the deployment of safety critical applications, up to SIL4 .