Safety Case Confidence Propagation Based on Dempster-Shafer theory - Archive ouverte HAL
Article Dans Une Revue International Journal of Approximate Reasoning Année : 2019

Safety Case Confidence Propagation Based on Dempster-Shafer theory

Résumé

Safety arguments, also called safety cases, are commonly used to demonstrate that adequate efforts have been made to achieve safety goals. Assessing the confidence of such arguments and decision-making is usually done manually and is heavily dependent on subjective expertise. Therefore, there is an urgent need for an approach that can assess confidence in the arguments in order to support decision-making. We therefore propose a quantitative approach, based on Dempster-Shafer (D-S) theory, to formalize and propagate confidence in safety cases. Goal Structuring Notation is adopted. The proposed approach focuses on the following issues regarding argu-mentation assessment: 1) formal definitions of confidence measures based on belief functions from D-S theory; and 2) the development of confidence aggregation rules for structured safety arguments with the help of Dempster's rule. Definitions of confidence measures and aggregation rules are deduced for single, double, and n-node arguments. Finally, a sensitivity analysis of aggregation rules is used to preliminarily validate this approach.
Fichier principal
Vignette du fichier
JAR_v12-revised.pdf (915.55 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02012942 , version 1 (09-02-2019)

Identifiants

Citer

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön. Safety Case Confidence Propagation Based on Dempster-Shafer theory. International Journal of Approximate Reasoning, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩. ⟨hal-02012942⟩
174 Consultations
272 Téléchargements

Altmetric

Partager

More