Cargando…
System Theoretic Dependability Analysis of the LHC Superconducting Magnet Circuit Protection
Subject of the present work is the application of the methods STPA (System Theoretic Process Analysis) and CAST (Causal Analysis based on STAMP) to analyze the protection systems of the superconducting magnet circuit of the LHC at CERN, Geneva. The named methods are derived from the at MIT develo...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2297093 |