Skip to Main content Skip to Navigation
Journal articles

Safety Case Confidence Propagation Based on Dempster-Shafer theory

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [40 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02012942
Contributor : Jérémie Guiochet Connect in order to contact the contributor
Submitted on : Saturday, February 9, 2019 - 4:34:17 PM
Last modification on : Wednesday, June 1, 2022 - 3:59:10 AM
Long-term archiving on: : Friday, May 10, 2019 - 1:36:00 PM

File

JAR_v12-revised.pdf
Files produced by the author(s)

Identifiers

Citation

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, Elsevier, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩. ⟨hal-02012942⟩

Share

Metrics

Record views

106

Files downloads

204