A Framework for Assessing Safety Argumentation Confidence

Rui Wang (1) , Jérémie Guiochet (1) , Gilles Motet (1)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique

Software applications dependability is frequently assessed through degrees of constraints imposed on development activities. The statement of achieving these constraints are documented in safety arguments , often known as safety cases. However, such approach raises several questions. How ensuring that these objectives are actually effective and meet dependability expectations? How these objectives can be adapted or extended to a given development context preserving the expected safety level? In this paper, we investigate these issues and propose a quantitative approach to assess the confidence in assurance case. The features of this work are: 1) fully consistent with the Dempster Shafer theory; 2) considering different types of arguments when aggregating confidence; 3) a complete set of parameters with intuitive interpretations. This paper highlights the contribution of this approach by an experiment application on an extract of the avionics DO-178C standard.

Mots clés: Dependability; Confidence assessment; Assurance case; Goal Struc-turing Notation; Belief function theory; DO-178C

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. A Framework for Assessing Safety Argumentation Confidence. 8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩. ⟨hal-01372049⟩