L’une des méthodes les plus appliqués lors de l’analyse de sécurité au niveau logiciel d’un système de transport ferroviaire guidé, est celle d’Analyse des Effets et Erreurs du Logiciel (A.E.E.L.). Néanmoins, la vérification de l’exhaustivité et de la cohérence des AEEL représente, pour les experts de certification, une tâche fastidieuse. Dans ce contexte, notre étude vise le développement d’un outil logiciel baptisé « SAUTREL », basé sur le raisonnement à partir de cas, dont le but est d'exploiter les A.E.E.L. historiques, menées sur des logiciels déjà certifiés, en vue d'évaluer l'exhaustivité, la cohérence et la pertinence de l'A.E.E.L. d'un nouveau logiciel.