Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.laas.fr/hal-03704505
Contributor : Yassir IDMESSAOUD Connect in order to contact the contributor
Submitted on : Saturday, June 25, 2022 - 12:12:15 AM
Last modification on : Tuesday, July 12, 2022 - 5:24:54 PM

File

SAFECOMP2022 - paper 77.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03704505, version 1

Citation

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⟩

Share

Metrics

Record views

1110

Files downloads

4727