The Joint Accelerator Conferences Website (JACoW) is an international collaboration that publishes the proceedings of accelerator conferences held around the world.
@InProceedings{fernandezadiego:icalepcs2019-mopha041,
author = {B. Fernández Adiego and E. Blanco Viñuela and M. Bonet and M. Charrondiere and H.D. Hamisch and R. Speroni and M.H. de Queiroz},
% author = {B. Fernández Adiego and E. Blanco Viñuela and M. Bonet and M. Charrondiere and H.D. Hamisch and R. Speroni and others},
% author = {B. Fernández Adiego and others},
title = {{Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN}},
booktitle = {Proc. ICALEPCS'19},
pages = {285--290},
paper = {MOPHA041},
language = {english},
keywords = {operation, PLC, controls, SCADA, cryogenics},
venue = {New York, NY, USA},
series = {International Conference on Accelerator and Large Experimental Physics Control Systems},
number = {17},
publisher = {JACoW Publishing, Geneva, Switzerland},
month = {08},
year = {2020},
issn = {2226-0358},
isbn = {978-3-95450-209-7},
doi = {10.18429/JACoW-ICALEPCS2019-MOPHA041},
url = {https://jacow.org/icalepcs2019/papers/mopha041.pdf},
note = {https://doi.org/10.18429/JACoW-ICALEPCS2019-MOPHA041},
abstract = {One of the most critical phases in the development of a Safety Instrumented System (SIS) is the functional specification of the Safety Instrumented Functions (SIFs). This step is carried out by a multidisciplinary team of process, controls and safety experts. This functional specification must be simple, unambiguous and compact to allow capturing the requirements from the risk analysis, and facilitating the design, implementation and verification of the SIFs. The Cause and Effect Matrix (CEM) formalism provides a visual representation of Boolean expressions. This makes it adequate to specify stateless logic, such as the safety interlock logic of a SIS. At CERN, a methodology based on the CEM has been applied to the development of a SIS for a magnet test bench facility. This paper shows the applicability of this methodology in a real magnet test bench and presents its impact in the different phases of the IEC 61511 safety lifecycle.},
}