Author: Hamisch, H.D.
Paper Title Page
MOPHA041 Cause-and-Effect Matrix Specifications for Safety Critical Systems at CERN 285
  • 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
  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.  
poster icon Poster MOPHA041 [0.751 MB]  
DOI • reference for this paper ※  
About • paper received ※ 27 September 2019       paper accepted ※ 08 October 2019       issue date ※ 30 August 2020  
Export • reference for this paper using ※ BibTeX, ※ LaTeX, ※ Text/Word, ※ RIS, ※ EndNote (xml)