Skip to Main content Skip to Navigation

Confidence in safety argument - An assessment framework based on belief function theory

Rui Wang 1 
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Safety arguments, also called Safety Cases, are commonly used to present that adequate efforts have been made to achieve the safety goals. Thus, the system safety is often justified through assessing the safety arguments. The assessment of such arguments is usually implemented by experts without any dedicated tool or method. This leads to a questionable validity of the results. In this thesis, a quantitative framework is proposed based on Dempster-Shafer theory (D-S theory) to assess our confidence in Safety Cases. This framework manages the issue in following aspects: 1) Formal definition of confidence in arguments based on D-S theory; 2) Development of confidence aggregation rules; 3) Proposition of a quantitative assessment framework of safety arguments. An application in railway domain realises the parameter estimation of the framework by a survey with safety experts.
Document type :
Complete list of metadata

Cited literature [105 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Wednesday, October 24, 2018 - 5:39:07 PM
Last modification on : Wednesday, June 1, 2022 - 4:00:08 AM
Long-term archiving on: : Friday, January 25, 2019 - 3:08:22 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01880790, version 2


Rui Wang. Confidence in safety argument - An assessment framework based on belief function theory. Cryptography and Security [cs.CR]. INSA de Toulouse, 2018. English. ⟨NNT : 2018ISAT0013⟩. ⟨tel-01880790v2⟩



Record views


Files downloads