References

Système de Contrôle Ponctuel de Vitesse Autonome (KPVA)
Overspeed detection system for Santiago Metro

Delivery of 30 autonomous ponctual speed controllers Pending the upcoming installation of a CBTC on its underground rail system, the […]

REGIOLIS
REGIOLIS commuter train: two on-board systems developed by CLEARSY

Regolis is a new generation of self-propelled train wagons designed by the manufacturer Alstom. This new generation of single-level train, […]

Système d’arrêt automatique du tramway de Rouen
Automatic stopping system project for the Rouen tramway

CLEARSY is assisting the Rouen conglomeration (project manager) in the installation and commissioning of an automatic stoppage system for the […]

System level formal (proof based) verification for the cbtc of New York’s line 7 (flushing)

CLEARSY has developed a system formal verification for the CBTC of New York subway line 7, using the B method. […]

Vital Embedded Settings Generator (VESG)
Zone management system to reduce the train speed

The ACSES project consists of developing a zone management system for temporarily reducing the speed of a train. CLIENT : […]

TRAINGUARD CBTC
Test bench implemented on Siemens automaton

In order to test safety systems based on Simatic Siemens automatons, CLEARSY has developed a specific tool for this target […]

logo Methode B
Control of coherence between code and specifications

Control of coherence between code and specifications CLEARSY has the role of “external controller” within the context of developing these […]

TRAINGUARD CBTC
DIGISAFE

The DIGISAFE technology and its communication protocol on Siemens automaton DIGISAFE is a technology developed by Siemens that is based […]

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!