A Framework for Assessing Safety Argumentation ConfidenceReport as inadecuate

A Framework for Assessing Safety Argumentation Confidence - Download this document for free, or read online. Document in PDF available to download.

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique LAAS - Laboratoire d-analyse et d-architecture des systèmes Toulouse

Abstract : 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.

Keywords : Dependability Confidence assessment Assurance case Goal Struc-turing Notation Belief function theory DO-178C

Author: Rui Wang - Jérémie Guiochet - Gilles Motet -

Source: https://hal.archives-ouvertes.fr/


Related documents