SAUTREL : Outil d'aide aux analyses des effets des erreurs de logiciels de sécurité dans les transports guidés

Ce papier presente l'architecture fonctionnelle d'une maquette de faisabilite d'un systeme d'aide aux Analyses des Effets des Erreurs du Logiciel (AEEL), baptisee SAUTREL. Cette maquette permet d'une part la capitalisation des connaissances issues des AEEL des systemes de transport guides mis en service et d'autre part d'aider a l'evaluation des AEEL d'un nouveau systeme. Pour atteindra ces deux objectifs, nous avons eu recours aux techniques d'intelligence artificielle et notamment a la technique du raisonnement a partir de cas.