RATP and the automation strategy
SIG4 Engineering collaborates with experts from Prover on « Integral Formal Proof » activities implemented and supported by RATP.
This work aims to increase confidence in the safety of certain critical functions deployed within the SAET systems (L14, L1, L4) and OCTYS (L3, L5, L9, L6, L10, L12). The functions under study include: train tracking, anti-collision, and localization. The analysis involves both an intellectual component (expertise) and a computer-assisted component. « Model-checking » tools assist the team members in discovering any potential non-conformities, which are then reported to the suppliers, analyzed, and either mitigated or corrected. This work contributes to advancing the state of the art regarding the use of formal methods in the safety industry. To date, the technology has proven its effectiveness, and the next step is to industrialize the approach and replicate the success with minimal effort.
