Contribution du raisonnement à partir de cas à l'analyse des effets des erreurs du logiciel. Application à la sécurité des transports ferroviaires
HADJ-MABROUK
Type de document
CHAPITRE D'OUVRAGE (CO)
Langue
francais
Auteur
HADJ-MABROUK
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é : l'analyse au niveau système, l'analyse au niveau logiciel et l'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 baptisé « Sautrel » basé sur le raisonnement à partir de cas. Cet outil a pour but d'aider les experts en matière de sécurité et de certification à juger l'exhaustivité et la cohérence des AEEL critiques d'un nouveau système de transport ferroviaire guidé. Très schématiquement, le principe du raisonnement à partir de cas consiste à traiter un nouveau problème en se remémorant des expériences passées voisines. Le but de cette étude est d'exploiter des AEEL historiques, menées sur des logiciels déjà certifiés, en vue d'évaluer l'exhaustivité, la cohérence et la pertinence de l'AEEL d'un nouveau logiciel.
Editeur
Lavoisier
