Cargando…

Assessing the Usefulness of Assurance Cases: an Experience with the CERN Large Hadron Collider

Assurance cases are structured arguments designed to show that a system functions properly in its operational environment. They are mandated by safety standards and are largely used in the industrial domain; however, they are typically proprietary and not publicly available. Therefore, the benefits...

Descripción completa

Detalles Bibliográficos
Autores principales: Rees, Chris, Delgado, Mateo, Lippelt, Rolf, Joyce, Jeff, Diemert, Simon, Menghi, Claudio, Viger, Torin, Chechik, Marsha, Uythoven, Jan, Zerlauth, Markus, Felsberger, Lukas
Lenguaje:eng
Publicado: 2023
Materias:
Acceso en línea:http://cds.cern.ch/record/2854725