Quantifying confidence of safety cases with belief functions - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Quantifying confidence of safety cases with belief functions

, (1) , (2)
1
2

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.
Fichier principal
Vignette du fichier
BELIEF2021.pdf (259.69 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03366274 , version 1 (05-10-2021)

Identifiers

Cite

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⟩
35 View
4 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More