La validation fonctionnelle des logiciels de sécurité du métro automatique MAGGALY
STUPARU ; BARANOWSKI ; OZELLO
Type de document
ARTICLE A COMITE DE LECTURE NON REPERTORIE DANS BDI (ACLN)
Langue
francais
Auteur
STUPARU ; BARANOWSKI ; OZELLO
Résumé / Abstract
L'EQUIPE SECURITE DE L'INRETS-CRESTA A ETE SOLLICITEE PAR LE MINISTERE DES TRANSPORTS POUR INTERVENIR DANS LE PROCESSUS DE VALIDATION DE LA SECURITE DU METRO AUTOMATIQUE MAGGALY DE LYON MIS EN SERVICE LE 31 AOUT 1992. PARMI LES NOMBREUSES AUTRES EXPERTISES QU'IMPLIQUAIT CE VASTE PROJET, LE PROCESSUS DE VALIDATION DES LOGICIELS DE SECURITE A ETE L'UNE DES PLUS CRITIQUES. CET ARTICLE PRESENTE, POUR L'ESSENTIEL, LES METHODES ET LA DEMARCHE ADOPTEES A CETTE OCCASION. L'ABSENCE DE METHODE DE DEVELOPPEMENT ET DE METHODE DE VALIDATION CONDUISANT A DEMONTRER MATHEMATIQUEMENT QUE LES LOGICIELS SONT A ³ZERO DEFAUT² A CONDUIT LES ACTEURS DU PROJET A METTRE EN PLACE UN COMITE DES TESTS DONT LES TRAVAUX AVAIENT POUR BUT DE RENFORCER LA CONFIANCE DANS CES LOGICIELS. LA VALIDATION FONCTIONNELLE DES LOGICIELS DE SECURITE A DONC ETE MENEE, PENDANT PRES DE 4 ANNEES, PAR CE COMITE COMPOSE DE QUATRE EQUIPES INDEPENDANTES D'EXPERTS (MATRA-TRANSPORT, L'INRETS, SOFRETU, SEMALY). IL A REMIS SES CONCLUSIONS FAVORABLES A L'AUTORISATION DE MISE EN EXPLOITATION SUR CE POINT. L'INRETS, DONT LES ACTIVITES DE RECHERCHE SONT CENTREES SUR LE THEME DE LA SECURITE DES LOGICIELS S'EST FORTEMENT IMPLIQUE DANS LES ACTIVITES DU COMITE DES TESTS. CONSERVANT SA SPECIFICITE D'ORGANISME DE RECHERCHE, IL A POUSSE PLUS LOIN SA DEMARCHE DE VALIDATION EN PROPOSANT ET EN EXPERIMENTANT SON OUTIL SPECIFIQUE DE VERIFICATION AUTOMATIQUE.
Source
RTS : Recherche transports sécurité, P15-26 p.
Editeur
Institut National de Recherche sur les Transports et Leur Sécurité - INRETS
