Contribution of case-based reasoning to the software error effect analysis
HADJ-MABROUK ; DARRICAU ; MEJRI
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
HADJ-MABROUK ; DARRICAU ; MEJRI
Résumé / Abstract
Le processus de construction de la sécurité d'un système de transport guidé fait intervenir trois grandes activités d'analyses de sécurité : analyse au niveau système, analyse au niveau logiciel et analyse au niveau matériel. Notre recherche s'inscrit dans le cadre de l'analyse de sécurité des logiciels et porte plus précisément sur la méthode d'analyse des effets des erreurs du logiciel (AEEL). L'objectif de l'étude est le développement d'un outil logiciel 'SAUTREL' basé sur l'utilisation conjointe des techniques d'apprentissage automatique et d'acquisition des connaissances pour aider à capitaliser et à juger l'exhaustivité et la cohérence des AEEL critiques d'un nouveau système. Les principaux résultats obtenus sont : - un formalisme de représentation des AEEL ; - une base de 250 cas d'AEEL issue des travaux de recueil et de modélisation des connaissances de deux systèmes de transport guidés déjà certifiés ; - une maquette 'SAUTREL' d'aide a la capitalisation et a l'évaluation des AEEL basée sur le raisonnement à partir de cas ; - une démarche de génération automatique des critères d'évaluation des AEEL fondée essentiellement sur l'emploi d'un système d'apprentissage de règles.
