Output details
11 - Computer Science and Informatics
University of Hull
Quantification of Simultaneous-AND Gates in Temporal Fault Trees
<07> Complementing the development of the treatment of the POR gate in the related 2012 paper, this considers mathematical modelling to enable practical solutions of the Simultaneous-AND (SAND) gate. It applies a novel approach for a new parameterized SAND gate to model certain real world problems that affect engineering applications. The paper includes the elaboration and analysis of a case study to illustrate the application and effectiveness of the techniques that have been developed in order to make the Pandora system usable with real world problems. In combination with the 2012 paper this allows a complete quantification with practical applications.