Skip to Main content Skip to Navigation
Conference papers

Quantifying confidence of safety cases with belief functions

Abstract : Structured safety argument based on graphical representations such as GSN (Goal Structuring Notation) are used to justify the certification of critical systems. However, such approaches do not deal with uncertainties that might affect the merits of arguments. In the recent past, some authors proposed to model the confidence in such arguments using Dempster-Shafer theory. It enables us to determine the confidence degree in conclusions for some basic GSN patterns. In this paper, we refine this approach and improve the elicitation method for expert opinions used in previous papers.
Complete list of metadata

https://hal.laas.fr/hal-03366274
Contributor : Yassir IDMESSAOUD Connect in order to contact the contributor
Submitted on : Tuesday, October 5, 2021 - 3:52:05 PM
Last modification on : Monday, July 4, 2022 - 9:42:21 AM
Long-term archiving on: : Thursday, January 6, 2022 - 7:49:09 PM

File

BELIEF2021.pdf
Files produced by the author(s)

Identifiers

Citation

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Quantifying confidence of safety cases with belief functions. 6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩. ⟨hal-03366274⟩

Share

Metrics

Record views

26

Files downloads

3