Collaboration CRIL – RATP

La RATP assure l’exploitation d’une partie des transports en commun de Paris et de sa proche banlieue. Dans le cadre de son activité, l’atelier de qualification logicielle (AQL) de la RATP utilise, entre autres techniques, la preuve formelle pour l’évaluation des systèmes de sécurité ferroviaire et notamment leur partie logicielle. La preuve formelle permet d’explorer l’exhaustivité des comportements d’un système et, ainsi, d’améliorer significativement le niveau de confiance dans la sécurité. Cette collaboration entre le CRIL et la RATP vise le développement d’outils de preuve formelle qui pourront notamment être utilisés lors des futurs projets d’automatisation de lignes de la RATP ainsi que pour les projets réalisés dans l’intérêt de clients externes.