Uncertainty assessment in safety argument structure : an approach based on Dempster-Shafer theory - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Access content directly
Theses Year : 2022

Uncertainty assessment in safety argument structure : an approach based on Dempster-Shafer theory

Évaluation de l'incertitude dans des argumentaires de sûreté : une approche basée sur la théorie de Dempster-Shafer

Abstract

Structured assurance cases are use to justify high-level properties (e.g. safety, security, etc.) of critical systems. Goal structuring notation (GSN) is a graphical notation used to model these cases. However, assurance cases do not include the representation of uncertainties that may affect arguments. Several works extend this framework using uncertainty propagation methods. The ones based on Dempster-Shafer Theory (DST) are of interest as DST can model incomplete information. However, few works relate this approach with a logical representation of relations between elements of GSN, which is actually required to justify the chosen uncertainty propagation schemes. Moreover, the approaches used to provide inputs for these propagation models rely on expert judgements to assess the arguments. These assessments are collected in natural languages and transformed to numerical values. This transformation is somewhat arbitrary. In this thesis, we first improve previous proposals including a logical formalism added to GSN, and an elicitation procedure for obtaining uncertainty information from expert judgements. Next, we propose a second confidence assessment approach which is based on a purely qualitative propagation model fed by a qualitative elicitation method too. These approaches are validated using artificial examples and a case study from aerospace.
Les argumentaire de sécurité sont utilisés pour justifier des propriétés de haut niveau (par exemple, la sûreté, la sécurité, etc.) des systèmes critiques. La notation GSN (Goal Structuring Notation) est une notation graphique utilisée pour modéliser ces argumentaires. Cependant, ces dernier n'incluent pas la représentation des incertitudes qui peuvent affecter leurs crédibilités. Plusieurs travaux étendent ce cadre en utilisant des méthodes de propagation de confiance. Celles basées sur la théorie de Dempster-Shafer (DST) sont intéressantes car la DST peut modéliser l'information incomplète. Cependant, peu de travaux relient cette approche à une représentation logique des relations entre les éléments du GSN, ce qui est en fait nécessaire pour justifier les schémas de propagation de la confiance choisis. De plus, les approches utilisées pour fournir des entrées pour ces modèles de propagation reposent sur des jugements d'experts pour évaluer les arguments. Ces évaluations sont recueillies en langage naturel et transformées en valeurs numériques. Cette transformation est quelque peu arbitraire. Dans cette thèse, nous améliorons d'abord les propositions précédentes, y compris un formalisme logique ajouté aux GSN, et une procédure d'élicitation pour obtenir des informations de confiance à partir des jugements d'experts. Ensuite, nous proposons une deuxième approche d'évaluation de la confiance qui est basée sur un modèle de propagation purement qualitatif alimenté par une méthode d'élicitation également qualitative. Ces approches sont validées à l'aide d'exemples artificiels et d'une étude de cas dans le domaine aérospatial.
Fichier principal
Vignette du fichier
2022TOU30263a.pdf (8.94 Mo) Télécharger le fichier
Origin Version validated by the jury (STAR)

Dates and versions

tel-04048943 , version 1 (21-02-2023)
tel-04048943 , version 2 (28-03-2023)

Identifiers

  • HAL Id : tel-04048943 , version 2

Cite

Yassir Idmessaoud. Uncertainty assessment in safety argument structure : an approach based on Dempster-Shafer theory. Cryptography and Security [cs.CR]. Université Paul Sabatier - Toulouse III, 2022. English. ⟨NNT : 2022TOU30263⟩. ⟨tel-04048943v2⟩
112 View
48 Download

Share

Gmail Mastodon Facebook X LinkedIn More