Tools

Atelier B Railway

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

Automated testing platform : TestRunner Nuclear-energy, Railway

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

Dispositif d’Aide à la Maintenance et à l’Exploitation (DAME)
Data/events logger and analyzer tool (DAME) Nuclear-energy, Railway

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

Outil de validation formelle de données
Formal Data validation tool (CLEARSY Data Solver) Railway

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

CLEARSY Safety Platform
SIL4 vital computer : CLEARSY Safety Platform Aeronautics, Automotive, Defense, Nuclear-energy, Railway

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!