Domaines : Railway

Formal approach for critical systems Railway

Since its creation in 2001, CLEARSY has taken the challenge of using formal methods for the design and buidling of safety critical systems.

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

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 .