In the railway sector

CLEARSY significatively invests in Research and Development in the safety engineering sector, to develop new tools and validate new techniques of modeling.


Zone management system for temporarily reducing speed of a train

Test bench implemented on Siemens Automaton

Control of Coherence between Code and Specifications

Communication protocol on Siemens Automaton

System qualification for MF2000 metro

COPP System Component

Software analysis and validation
> Line 3
> Line 5
> Line 13

Process for formally checking the computer signalling.

Automatic Train Operation System, Line 1

Rapid recharging tramway system

CBTC development

Automatic train operation system
> Beijing Metro
> Sao Paulo Metro

SIL4 safety software for the fixed automatisms of the future Val de Roissy

Binary file generator of train lane description