References

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

Système automatique d’exploitation des trains, ligne 1 (SAET L1)
Qualification consulting for MF2000

CLEARSY was hired to provide technical assistance in the verification of the ascending phase in the V cycle, meaning the […]

MODEM B
Stand-alone DSP board with ADC/DAC converter & RS485

ModemB is a stand-alone DSP board with 2 analog input channels (from 10kHz to 150kHz), a RS485 serial link, 16 […]

Système automatique d’exploitation des trains, ligne 1 (SAET L1)
Assistance in the analysis and the validation of the Octys critical software

OURAGAN, now Octys  is a train control and command system (TCC) developed for the RATP (Paris subway), the Parisian transport […]

Need a custom-made system ?

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