Offers

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

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

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

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

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

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

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

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