Cargando…
Towards the Optimization of the Safety Life-Cycle for Safety Instrumented Systems
The design and development of Safety Instrumented Systems (SIS) according to the IEC 61511 standard is a long and costly process. Although the standard gives recommendations and guidelines for each phase of the safety life-cycle, implementing them is not a simple task. Access to reliability data, ha...
Autores principales: | Fernández Adiego, Borja, Blanco Viñuela, Enrique, Otto, Thomas, Speroni, Roberto, de Assis Schmidt, Gustavo |
---|---|
Lenguaje: | eng |
Publicado: |
2022
|
Materias: | |
Acceso en línea: | https://dx.doi.org/10.18429/JACoW-ICALEPCS2021-WEBR02 http://cds.cern.ch/record/2809585 |
Ejemplares similares
-
Safety instrumented systems and the AWAKE plasma control as a use case
por: Blanco Viñuela, Enrique, et al.
Publicado: (2018) -
Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN
por: Fernández Adiego, Borja, et al.
Publicado: (2020) -
Applying Model Checking to Highly-Configurable Safety Critical Software: The SPS-PPS PLC Program
por: Fernández Adiego, Borja, et al.
Publicado: (2022) -
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)