Systerel played a key role in the renewal of the Train Operation Automation System (SAET) for Line 14, thanks to OVADO²®.

OVADO²® is a data verification tool developed by RATP in collaboration with Systerel. It is designed for use in a railway process with the highest level of functional safety (SIL 4).

The rules that the SAET system’s configuration data must adhere to were modeled in the formal B OVADO language, known for its strong mathematical rigor. The OVADO²® tool then ensures that each set of data put into operation complies with these rules.

OVADO²® has also been successfully used on lines L1, L3, L4, L5, L6, L9, L10, and L11 of the Paris metro.