References
![Système d’arrêt automatique du tramway de Rouen](https://www.clearsy.com/wp-content/uploads/2020/07/arret-automatique-tramway-rouen.jpg)
CLEARSY is assisting the Rouen conglomeration (project manager) in the installation and commissioning of an automatic stoppage system for the […]
![](https://www.clearsy.com/wp-content/uploads/2020/07/nyctl-us.png)
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)](https://www.clearsy.com/wp-content/uploads/2020/07/logo-alstom-1.jpg)
The ACSES project consists of developing a zone management system for temporarily reducing the speed of a train. CLIENT : […]
![TRAINGUARD CBTC](https://www.clearsy.com/wp-content/uploads/2020/07/logo-siemens.jpg)
In order to test safety systems based on Simatic Siemens automatons, CLEARSY has developed a specific tool for this target […]
![logo Methode B](https://www.clearsy.com/wp-content/uploads/2020/07/methode-b.jpg)
Control of coherence between code and specifications CLEARSY has the role of “external controller” within the context of developing these […]
![TRAINGUARD CBTC](https://www.clearsy.com/wp-content/uploads/2020/07/logo-siemens.jpg)
The DIGISAFE technology and its communication protocol on Siemens automaton DIGISAFE is a technology developed by Siemens that is based […]
![Système automatique d’exploitation des trains, ligne 1 (SAET L1)](https://www.clearsy.com/wp-content/uploads/2020/07/ratp.jpg)
CLEARSY was hired to provide technical assistance in the verification of the ascending phase in the V cycle, meaning the […]
![MODEM B](https://www.clearsy.com/wp-content/uploads/2020/07/modem-b.jpg)
ModemB is a stand-alone DSP board with 2 analog input channels (from 10kHz to 150kHz), a RS485 serial link, 16 […]