Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux

Type de document

COMMUNICATION AVEC ACTES NATIONAL (ACTN)

Langue

francais

Auteur

HADJ-MABROUK ; MAALEL ; HAMDAOUI

Résumé / Abstract

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.

Editeur

IEEE Tunisia