References

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

Système automatique d’exploitation des trains, ligne 1 (SAET L1)
Formal verification of RATP interlocking systems

The PMI L1 project consists of creating a process to check the computer signalling implemented on line 1, 3 bis […]

Système automatique d’exploitation des trains, ligne 1 (SAET L1)
Analysis of the safety critical software of the PARIS CBTC line 1

The SAET L1 (CBTC) project makes part of the global project of paris metro Line 1 automation, same as line […]

Système de Recharge Rapide de Tramway (SRRT)
Rapid recharging tramway system (SRRT)

Within the framework of research aimed at improving the tramways, an embedded energy storage device rapid recharging system in the […]

TRAINGUARD CBTC
Development/Re-engineering of the safety part of the ground and on-board software of a CBTC

The purpose of this R&D project is to industrialize the previous STS projects in order to rapidly provide automatic or […]

Vital Embedded Settings Generator (VESG)
Safety critical software developpement of the CBTC URBALIS Evolution

Urbalis Evolution (or UEVOL) is a train piloting system developed by Alstom. It represents the latest generation of its Urbalis […]

Need a custom-made system ?

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