References

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

Val de Roissy
Val de Roissy

Development of SIL4 safety software for the fixed automatisms of the future Val de Roissy Realization of the safety software […]

logo Alstom
Vital Embedded Settings Generator (VESG)

The VESG tool (Vital Embedded Settings Generator) was developed in B within the scope of the Urbalis Evolution project. CLIENT […]

Need a custom-made system ?

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