References

Vital Embedded Settings Generator (VESG)
KVB, beacon for speed control system

KVB is a system being developped by Alstom since 1990, which CLEARSY has contributed to. The KVB aims to record […]

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 […]

Need a custom-made system ?

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