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 metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Yassir IDMESSAOUD Connect in order to contact the contributor
Submitted on : Thursday, July 16, 2020 - 10:44:30 AM
Last modification on : Tuesday, July 12, 2022 - 3:08:02 PM
Long-term archiving on: : Monday, November 30, 2020 - 11:01:48 PM


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



Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Belief functions for safety arguments confidence estimation : A comparative study. 14th International Conference on Scalable Uncertainty Management (SUM 2020), Research Centre on Knowledge and Data (KRDB); Free University of Bozen-Bolzano, Sep 2020, Bolzano, Italy. pp.1-15, ⟨10.1007/978-3-030-58449-8_10⟩. ⟨hal-02900485⟩



Record views


Files downloads