Description

Dans les années 80, la mise en place de SACEM (contrôle continu de la vitesse pour le RER A) a marqué le passage de l’électronique câblée à l’informatique. La RATP se dote alors de moyens techniques et humains permettant de vérifier la sécurité d’un système de contrôle commande ferroviaire comprenant du logiciel ; c’est l’acte de naissance de l’Atelier de Qualification des Logiciels (AQL).
 

Effectifs

AQL est constitué de 22 personnes ; ingénieurs et techniciens supérieurs.

Principaux moyens

Pour valider ou vérifier la sûreté de fonctionnement sur l'ensemble des phases de développement des logiciels impliqués dans la sûreté de fonctionnement, AQL utilise entre autres :

• Des Méthodes de développement logiciel telles que la Méthode B ou SCADE
• Des techniques de preuve ou d'analyse statique du logiciel et des moyens de test du logiciel
   

Points forts

• Des accréditations COFRAC qui ont permis de contribuer à des projets d’envergure, tant sur le plan national (évolutions SACEM, METEOR, mise en place d'OURAGAN, Automatisation de la Ligne 1 Paris…) que sur le plan international (Réseaux métro de Singapour, Mexico, Barcelone, Alger…)
• Prestations de qualification des logiciels critiques de sécurité (sûreté de fonctionnement des systèmes)
• Emission d’avis en tant qu’évaluateurs indépendants (ISA) - ces avis étant indispensables à la préparation des dossiers de sécurité présentés aux Experts ou Organismes Qualifiés Agréés (EOQA), préalablement à la mise en service des systèmes.

Accréditations

Le laboratoire AQL est accrédité par le COFRAC
Accréditation n°1-0976, Essais, portée disponible sur www.cofrac.fr, dans le domaine de l'"Evaluation en sûreté de fonctionnement des systèmes logiciels" (programme 152).
AQL est reconnu également par RINA comme qualifié pour la réalisation d'essais sécurité du logiciel.