Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Access content directly
Conference Papers Year :

Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases

Abstract

Goal structuring notation (GSN) is commonly proposed as a structuring tool for arguing about the high-level properties (e.g. safety) of a system. However, this approach does not include the representation of uncertainties that may affect arguments. Several works extend this framework using uncertainty propagation methods. The ones based on Dempster-Shafer Theory (DST) are of interest as DST can model incomplete information. However, few works relate this approach with a logical representation of relations between elements of GSN, which is actually required to justify the chosen uncertainty propagation schemes. In this paper, we improve previous proposals including a logical formalism added to GSN, and an elicitation procedure for obtaining uncertainty information from expert judgements. We briefly present an application to a case study to validate our uncertainty propagation model in GSN that takes into account both incomplete and conflicting information.
Fichier principal
Vignette du fichier
SAFECOMP2022 - paper 77.pdf (1.27 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03704505 , version 1 (25-06-2022)

Identifiers

  • HAL Id : hal-03704505 , version 1

Cite

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases. 41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022), Sep 2022, Munich, Germany. pp.1-14. ⟨hal-03704505⟩
99 View
3 Download

Share

Gmail Facebook Twitter LinkedIn More