References

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

B4L4
B METHOD for the construction of a MICROKERNEL

The B METHOD for the construction of MICROKERNEL – Based Systems : Sarah Hoffmann, Germain Haugou – STMicroeletronics Sophie Gabriele […]

Car diagnosis

A solution for diagnosing an electronic breakdown in a car DIAGELEC is a Repair Help software for malfunctions in GOLF […]

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

Simulateur Opérationnel Personnalisé (SRO)
Customised Operational Simulator (SRO)

CLEARSY has provided a customised Operational Simulator intended for Saudi Railways Organisation. This simulator had several specific aspects such as […]

logo CLEARSY
DEPLOY R&D project

Industrial deployment of system engineering methods providing high dependability and productivity.

Need a custom-made system ?

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