Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases

Autor: Idmessaoud, Yassir, Dubois, Didier, Guiochet, Jérémie

Publikováno v: à paraître
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022), Sep 2022, Munich, Germany. pp.1-14

International audience; Goal structuring notation (GSN) is commonly proposed as a structuring tool for arguing about the high-level properties (e.g. safety) of a system. However, this approach does not include the representation of uncertainties that

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bfb431dbacdedba4110d511bbdb628d4
https://hal.laas.fr/hal-03704505/document

A Qualitative Counterpart of Belief Functions with Application to Uncertainty Propagation in Safety Cases

Autor: Idmessaoud, Yassir, Dubois, Didier, Guiochet, Jérémie

Publikováno v: Belief Functions: Theory and Applications ISBN: 9783031178009
Part of the Lecture Notes in Computer Science book series (LNAI,volume 13506)
7th International Conference on Belief Functions (BELIEF 2022)
7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩

International audience; Critical systems such as those developed in the aerospace, railway or automotive industries need official documents to certify their safety via convincing arguments. However, informal tools used in certification documents seld

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46d9c9e30061b6a6b4032bec105520e5
https://doi.org/10.1007/978-3-031-17801-6_22