Skip to Main content Skip to Navigation
Conference papers

Belief functions for safety arguments confidence estimation : A comparative study

Résumé : Les argumentaires de sécurité sont largement appliqués dans les systèmes critiques pour démontrer leur sûreté et d'autres attributs. Des formalismes graphiques tels que le GSN (Goal Structuring Notation) sont utilisés pour représenter ces argumentaires. Cependant, ces derniers ne tiennent pas compte de l'incertitude qui peut exister dans certaines parties de ces argumentaires. Pour résoudre ce problème, plusieurs méthodes d'évaluation de la confiance ont été proposés. Dans le présent document, une étude comparative est menée sur trois approches basées sur la théorie de Dempster-Shafer. Nous extrayons et comparons la logique implicite utilisée dans ces travaux, et nous montrons que, dans une certaine mesure, ces approches actuelles ne parviennent pas à établir une relation cohérente entre les expressions informelles des arguments (objectifs), leur modèle logique et l'utilisation des fonctions de croyance. Nous proposons également des recommandations pour améliorer cette cohérence.
Document type :
Conference papers
Complete list of metadatas

Cited literature [29 references]  Display  Hide  Download

https://hal.laas.fr/hal-02900485
Contributor : Yassir Idmessaoud <>
Submitted on : Thursday, July 16, 2020 - 10:44:30 AM
Last modification on : Thursday, July 23, 2020 - 3:46:31 AM

File

Belief functions for safety ar...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02900485, version 1

Citation

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Belief functions for safety arguments confidence estimation : A comparative study. The 14th International Conference on Scalable Uncertainty Management (SUM2020), Sep 2020, Bolzano, Italy. ⟨hal-02900485⟩

Share

Metrics

Record views

52

Files downloads

40