Maquette de faisabilité d'un outil basé sur le raisonnement à partir de cas pour l'aide à la capitalisation et à l'analyse des erreurs de logiciels. Application à la sécurité des logiciels dans les transports guidés
DARRICAU
Type de document
RAPPORT DE STAGE
Langue
francais
Auteur
DARRICAU
Résumé / Abstract
NOTRE TRAVAIL S'INSCRIT DANS LE CADRE DE L'ANALYSE DE SECURITE DES LOGICIELS DANS LES TRANSPORTS GUIDES ET PORTE SUR L'APPORT DU RAISONNEMENT A PARTIR DE CAS A LA METHODE D'ANALYSE DES EFFETS DES ERREURS DU LOGICIEL (A.E.E.L.). L'AEEL EST UNE DEMARCHE INDUCTIVE DONT LE BUT EST LA DETERMINATION DE LA NATURE ET DE LA GRAVITE DES CONSEQUENCES DES DEFAILLANCES DU LOGICIEL. ELLE PERMET EGALEMENT DE GUIDER LES ACTIVITES DE VALIDATION ET DE MAINTENANCE DU LOGICIEL EN INDIQUANT LES MODULES LES PLUS CRITIQUES VIS-A-VIS DE LA SECURITE. LE PRINCIPE GENERAL DU RAISONNEMENT A PARTIR DE CAS (OU CASE BASED REASONING : CBR) CONSISTE A TRAITER UN NOUVEAU PROBLEME (CAS CIBLE) EN SE REMEMORANT DES EXPERIENCES PASSEES VOISINES (CAS DE REFERENCE). L'OBJECTIF VISE PAR CETTE ETUDE EST D'EXPLOITER DES A.E.E.L. HISTORIQUES, MENEES SUR DES LOGICIELS DEJA CERTIFIES, EN VUE D'EXPLIQUER OU D'EVALUER L'EXHAUSTIVITE, LA COHERENCE ET LA PERTINENCE DE L'A.E.E.L. D'UN NOUVEAU LOGICIEL. À CE JOUR, NOTRE CONTRIBUTION DANS LE CADRE DE CETTE ETUDE A PERMIS : D'ELABORER UN MODELE DE REPRESENTATION DES A.E.E.L., DE CONSTITUER UNE BASE DE CAS (EXEMPLES HISTORIQUES D'A.E.E.L.) A PARTIR DE DEUX SYSTEMES DE TRANSPORTS GUIDES : MAGGALY (METRO AUTOMATIQUE DE LYON) ET TVM-430 (TGV NORD), DE JUSTIFIER L'INTERET DU RAISONNEMENT A PARTIR DE CAS A LA METHODE D'A.E.E.L., ET ENFIN, DE PROPOSER UNE MAQUETTE BASEE SUR LE CBR, POUR CAPITALISER ET AIDER A L'EVALUATION DES A.E.E.L. (ETUDE ENCADRÉE PAR H. HADJ-MABROUK, RESP. INRETS-ESTAS).
