Company APRIL 2023 Implementation of an OCTYS automatic train control system on line 6 of the Paris metro Within the framework of the Paris metro modernisation project, Systerel carried out the validation of the data linked to the implementation of the CBTC OCTYS system. Blog APRIL 2023 Generating and verifying configuration data with OVADO²® In this new article, we explore the possibilities offered by the OVADO²® formal validation tool. For the first time, Systerel used OVADO²® to formally generate configuration data for railway equipment derived from system configuration data. Company APRIL 2023 Systerel participated in the Odyssea race in Toulouse On April 16, Systerel team in Toulouse participated in the Odyssea race to support the fight against breast cancer. Congratulations to all the participants and to all the volunteers who make these events possible! Company April 2023 Automation of line 4 of the Paris metro Since September 2022, the first four automated shuttles on line 4, the second-busiest metro line in Paris, have started to circulate. In order to modernise this line, RATP chose the Train Operation Automation System (SAET), already installed on lines 1 and 14.