D-S Theory for Argument Confidence Assessment

Rui Wang (1) , Jérémie Guiochet (1) , Gilles Motet (1) , Walter Schön (2)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
2 Heudiasyc - Heuristique et Diagnostic des Systèmes Complexes [Compiègne]

Structured arguments are commonly used to communicate to stakeholders that safety, security or other attributes of a system are achieved. Due to the growing complexity of systems, more uncertainties appear and the confidence in arguments tends to be less justifiable by reviewing. In this paper, we propose a quantitative method to assess the confidence in structured arguments, like safety cases. We adopt the Goal Structuring Notation (GSN) to model the safety case and propose to add annotations to identify uncertainties in this model. Three inference types of arguments are proposed according to their impact on confidence. Definition and quantification assessment of confidence are based on the belief function theory. The proposed approach is illustrated with several GSN examples.

Mots clés: belief function theory; assurance case; confidence assessment; safety case

Domaines: Informatique ubiquitaire; Modélisation et simulation; Cryptographie et sécurité [cs.CR]; Probabilités [math.PR]

Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön. D-S Theory for Argument Confidence Assessment. 4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩. ⟨hal-01372016⟩