Étude de faisabilité d’un outil d’aide aux analyses des effets des erreurs des logiciels, basé sur le raisonnement à partir de cas. Application à la sécurité des systèmes de transport guidés - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1995

Étude de faisabilité d’un outil d’aide aux analyses des effets des erreurs des logiciels, basé sur le raisonnement à partir de cas. Application à la sécurité des systèmes de transport guidés

Résumé

Le travail présenté dans cet article s'inscrit dans le cadre de l'analyse de la sécurité des logiciels critiques dans les transports guidés. Il porte plus précisément sur l'apport du raisonnement à partir de cas à la méthode d'Analyse des Effets des Erreurs du Logiciel (A.E.E.L.). Le principe du raisonnement à partir de cas (Case-Based Reasoning: CBR) consiste à traiter un nouveau problème en se remémorant des expériences passées voisines. L'objectif de cette étude est d'exploiter des A.E.E.L. historiques, menées sur des logiciels déjà certifiés, en vue d'expliquer ou d'évaluer l'exhaustivité, la cohérence et la pertinence de l'A.E.E.L. d'un nouveau logiciel. A ce jour, notre contribution dans le cadre de cette étude a permis : - d'élaborer un modèle de représentation des A.E.E.L., - de constituer une base de cas (exemples historiques d'A.E.E.L.) à partir de deux systèmes de transport guidés : MAGGALY (métro automatique de Lyon) et TVM-430 (TGV Nord), - de justifier l'intérêt du raisonnement à partir de cas à la méthode d'A.E.E.L., - et enfin, de proposer une architecture de la maquette (en cours de développement) basée sur le C.B.R., pour aider à la capitalisation et à l'évaluation des A.E.E.L.
Fichier non déposé

Dates et versions

hal-03027922 , version 1 (27-11-2020)

Identifiants

  • HAL Id : hal-03027922 , version 1

Citer

Myriam Darricau, Habib Hadj-Mabrouk. Étude de faisabilité d’un outil d’aide aux analyses des effets des erreurs des logiciels, basé sur le raisonnement à partir de cas. Application à la sécurité des systèmes de transport guidés. 8e Journées internationales du génie logiciel et de ses applications, Nov 1995, Paris-La-Défense, France. pp.677-689. ⟨hal-03027922⟩
49 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More