Domaines : Railway

maintenance support, supervision Nuclear-energy, Railway

The offer is based on CLEARSY's expertise, the DAME software suite and its ability to secure interfaces.

Formal system validation Railway

The formal system validation, obtained with the B-method, is an element of the demonstration of the safety of a critical system.

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

Lasers Railway

CLEARSY uses commercially available laser sensors to build turnkey systems for the control of critical infrastructure.

Track Plan Editor Railway

A track plan editor has been designed to help users implement their track plan, from initial design to commissioning, whether for new projects or simply for the need to upgrade assets.

Highlighter Railway

The highlighter is a computerised schematic entry tool. used for the maintenance of legacy installations

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!