De la validation de METEOR à l »accréditation COFRAC.
* Responsable de la validation des équipements fixes de METEOR
ESE/ICH/AQL/AQLM
RATP,
7 Square Felix Nadar,
94684 VINCENNES CEDEX
jean-louis.Boulanger@ratp.fr
Résumé: Le but de cet article est de présenter le processus de validation mis en place par le Laboratoire AQL (Atelier de Qualification des Logiciels) de l’unité d »Ingienérie de Certification et d »Homologation (ICH) du département Equipement et Système Electrique (ESE) pour valider le système METEOR. Ce processus est construit sur un référentiel qualité et des procédures qui ont fait l’objet d’une accréditation COFRAC. Nous présenterons ce processus et les liens avec les normes EN 50128 et EN 45001. Cet article permet d’avoir une vue des pratiques industrielles dans le cadre de la mise en place de système critique mettant en œuvre les méthodes formelles telle que ASA+ et la méthode B.
Abstract: The study described in this paper was conducted by the Paris Public Transport Authority (RATP) and aimed to verify the correct application of the concept by the establishment of lists of tests to be played on the final software.In this article, we present the validation process which has been chosen by the RATP team in charge of fixed equipment for the automatic Paris metro system METEOR (Métro Est Ouest Rapide – high-speed east-west metro)..