Skip to Main content Skip to Navigation
Theses

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 :
Theses
Complete list of metadata

Cited literature [105 references]  Display  Hide  Download

https://hal.laas.fr/tel-01880790
Contributor : Abes Star :  Contact
Submitted on : Wednesday, October 24, 2018 - 5:39:07 PM
Last modification on : Thursday, June 10, 2021 - 3:02:59 AM
Long-term archiving on: : Friday, January 25, 2019 - 3:08:22 PM

File

2018RuiWANG.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01880790, version 2

Citation

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⟩

Share

Metrics

Record views

431

Files downloads

257