Cargando…
Safety instrumented systems and the AWAKE plasma control as a use case
Safety is likely the most critical concern in many process industries, yet there is a general uncertainty on the proper engineering to reduce the risks and ensure the safety of persons or material at the same time as providing the process control system. Some of the reasons for this misperception ar...
Autores principales: | Blanco Viñuela, Enrique, Braunmueller, Hans, Fernández Adiego, Borja, Speroni, Roberto |
---|---|
Lenguaje: | eng |
Publicado: |
2018
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.18429/JACoW-ICALEPCS2017-THCPA01 http://cds.cern.ch/record/2305968 |
Ejemplares similares
-
Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems
por: Fernández Adiego, Borja, et al.
Publicado: (2022) -
Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN
por: Fernández Adiego, Borja, et al.
Publicado: (2020) -
PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques
por: Darvas, Dániel, et al.
Publicado: (2015) -
Experience with static PLC code analysis at CERN
por: Tsiplaki Spiliopoulou, Christina, et al.
Publicado: (2018) -
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
por: Fernández Adiego, Borja, et al.
Publicado: (2022)