Offers

ETCS Track Editor Railway

This tool enables the creation and modification of a track, and its storage in a MySQL database. The produced track […]

Evaluation and analysis tools Railway

This set of tools enables the analysis and display of the data logged by other CLEARY products (Operational Simulator, Traffic […]

External 3D visualisation applications Railway

One of the extensions of the Operational Simulator is the connection to a 3D track visualisation application. Visualisation and 3D […]

fail-safe remote i/o (SATURN) SIL2-SIL4 Railway

SATURN is a new platform featuring high-robustness and availability for safety solutions. Easy to configure and efficient as a railway […]

Formal analysis and validation of software Railway

CLEARSY proposes a new innovative analysis approach to establish with mathematical proof that all or part of a software are […]

Formal data validation Railway

In the railways, safety critical software applications are usually developed and validated independently from the parameters or constant data that […]

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.

Gap filler control system (CACOLAC)

CACOLAC is a device designed to enable persons with reduced mobility (PRM) to embark and disembark from the train with […]