| Title |
Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN |
| Authors |
- B. Fernández Adiego, E. Blanco Viñuela, M. Charrondiere, R. Speroni
CERN, Geneva, Switzerland
- M. Bonet, H.D. Hamisch, M.H. de Queiroz
UFSC, Florianópolis, Brazil
|
| 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.
|
| Paper |
download MOPHA041.PDF [0.515 MB / 6 pages] |
| Poster |
download MOPHA041_POSTER.PDF [0.751 MB] |
| Export |
download ※ BibTeX
※ LaTeX
※ Text/Word
※ RIS
※ EndNote |
| Conference |
ICALEPCS2019 |
| Series |
International Conference on Accelerator and Large Experimental Physics Control Systems (17th) |
| Location |
New York, NY, USA |
| Date |
05-11 October 2019 |
| Publisher |
JACoW Publishing, Geneva, Switzerland |
| Editorial Board |
Karen S. White (ORNL, Oak Ridge, TN, USA); Kevin A. Brown (BNL, Upton, NY, USA); Philip S. Dyer (BNL, Upton, NY, USA); Volker RW Schaa (GSI, Darmstadt, Germany) |
| Online ISBN |
978-3-95450-209-7 |
| Online ISSN |
2226-0358 |
| Received |
27 September 2019 |
| Accepted |
08 October 2019 |
| Issue Date |
30 August 2020 |
| DOI |
doi:10.18429/JACoW-ICALEPCS2019-MOPHA041 |
| Pages |
285-290 |
| Copyright |
 Published by JACoW Publishing under the terms of the Creative Commons Attribution 3.0 International license. Any further distribution of this work must maintain attribution to the author(s), the published article's title, publisher, and DOI. |
|
