Made in France
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 .
Need a custom-made system ?
We are safety software and systems designers. Contact us and let's discuss your project together!