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...
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 |
Ejemplares similares
-
Protection of the CERN Large Hadron Collider
por: Schmidt, R, et al.
Publicado: (2006) -
Commissioning of the Machine Protection Systems of the Large Hadron Collider Following its First Long Shutdown
por: Wollmann, Daniel, et al.
Publicado: (2016) -
The future of the Large Hadron Collider and CERN
por: Heuer, Rolf-Dieter
Publicado: (2012) -
Polar Coding for the Large Hadron Collider: Challenges in Code Concatenation
por: Balatsoukas Stimming, Alexios, et al.
Publicado: (2017) -
Concept of beam-related machine protection for the Future Circular Collider
por: Nie, Yuancun, et al.
Publicado: (2019)