A Model for Safety Case Confidence Assessment

Jérémie Guiochet (1) , Quynh Anh Do Hoang (1) , Mohamed Kaâniche (1)

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

Building a safety case is a common approach to make expert judgement explicit about safety of a system. The issue of confidence in such argumen-tation is still an open research field. Providing quantitative estimation of confidence is an interesting approach to manage complexity of arguments. This paper explores the main current approaches, and proposes a new model for quantitative confidence estimation based on Belief Theory for its definition, and on Bayesian Belief Networks for its propagation in safety case networks.

Domaines: Autre [cs.OH]

Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche. A Model for Safety Case Confidence Assessment. 34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩. ⟨hal-01228861⟩