Výsledky vyhledávání - "Safety cases"

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

Autor: Idmessaoud, Yassir

Publikováno v: Cryptography and Security [cs.CR]. Université Paul Sabatier-Toulouse III, 2022. English. ⟨NNT : 2022TOU30263⟩

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 repr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______4074::5d95545c405c021fda45136476b573f6
https://theses.hal.science/tel-04048943

Zobrazit plný text záznamu

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

Zobrazit plný text záznamu

Quantifying confidence of safety cases with belief functions

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

Publikováno v: Belief Functions: Theory and Applications: 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings ; ISBN 978-3-030-88600-4
6th International Conference on Belief Functions (BELIEF 2021)
6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩
Belief Functions: Theory and Applications ISBN: 9783030886004
BELIEF

International audience; Structured safety argument based on graphical representations such as GSN (Goal Structuring Notation) are used to justify the certification of critical systems. However, such approaches do not deal with uncertainties that migh

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b75246ba405f36f18766139e6f375c4
https://hal.laas.fr/hal-03366274/document

Zobrazit plný text záznamu

Integration of the Short-term Evolution of the Engineered Barrier System (EBS) with the Long-term Safety Perspective (Deliverable D4.1 of the PEBS Project)

Autor: Johnson, L., Gaus, I., Wieczorek, K., Mayor, J.C., Sellin, P., Villar, Mar??a Victoria, Samper, J., Cuevas, J.A., Gens, M., Velasco, M., Turrero, Mar??a Jes??s, Montenegro, L., Mart??n, PEdro Luis, Armand, G.

Publikováno v: Docu-menta: Repositorio Institucional del CIEMAT
Centro de Investigaciones Energéticas, Medioambientales y Tecnológicas (CIEMAT)
Docu-menta. Repositorio Institucional del CIEMAT
instname

The main aim of the project PEBS (Long-term Performance of the Engineered Barrier System) is to evaluate the sealing and barrier performance of the EBS with time, through development of a comprehensive approach involving experiments, model developmen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::998cbe87328256d04a9243bdebe263d1
http://documenta.ciemat.es/handle/123456789/937

Zobrazit plný text záznamu

Belief functions for safety arguments confidence estimation : A comparative study

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

Publikováno v: The 14th International Conference on Scalable Uncertainty Management (SUM2020)
The 14th International Conference on Scalable Uncertainty Management (SUM2020), Sep 2020, Bolzano, Italy
Scalable Uncertainty Management: 14th International Conference, SUM 2020, Bozen-Bolzano, Italy, September 23–25, 2020, Proceedings ; ISBN: 978-3-030-58448-1
14th International Conference on Scalable Uncertainty Management (SUM 2020)
14th International Conference on Scalable Uncertainty Management (SUM 2020), Research Centre on Knowledge and Data (KRDB); Free University of Bozen-Bolzano, Sep 2020, Bolzano, Italy. pp.1-15, ⟨10.1007/978-3-030-58449-8_10⟩
Lecture Notes in Computer Science ISBN: 9783030584481
SUM

International audience; Structured safety arguments are widely applied in critical systems to demonstrate their safety and other attributes. Graphical formalisms such as Goal Structuring Notation (GSN) are used to represent these argument structures.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d35143885ecfeaa8bc729a6619d40dd4
https://hal.laas.fr/hal-02900485/document

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání