Skip to Main content Skip to Navigation
Conference papers

Belief functions for safety arguments confidence estimation : A comparative study

Abstract : Structured safety arguments are widely applied in critical systems to demonstrate their safety and other attributes. Graphical formalisms such as Goal Structuring Notation (GSN) are used to represent these argument structures. However, they do not take into account the uncertainty that may exist in parts of these arguments. To address this issue, several frameworks for confidence assessment have been proposed. In this paper, a comparative study is carried out on three approaches based on Dempster-Shafer theory. We extract and compare the implicit logic at work in these works, and show that, to some extent, these current approaches fail to provide a consistent relationship between the informal statement of arguments, their logical model and the use of belief functions. We also propose recommendations to improve this consistency.
Document type :
Conference papers
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.laas.fr/hal-02900485
Contributor : Yassir Idmessaoud <>
Submitted on : Thursday, July 16, 2020 - 10:44:30 AM
Last modification on : Monday, November 9, 2020 - 2:24:21 PM
Long-term archiving on: : Monday, November 30, 2020 - 11:01:48 PM

File

Belief functions for safety ar...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02900485, version 1

Citation

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Belief functions for safety arguments confidence estimation : A comparative study. The 14th International Conference on Scalable Uncertainty Management (SUM2020), Sep 2020, Bolzano, Italy. ⟨hal-02900485⟩

Share

Metrics

Record views

163

Files downloads

91