BOOLEAN MODELLING AND EVALUATION OF A MULTISTATE-COMPONENT SYSTEM

We propose a method for computing the unavailability of a multistate-component system. This method is based on the construction of a Boolean model of the system, which may be represented in the form of a fault-tree. It is proved that the evaluation is always conservative, and very accurate when the probabilities of the component failures are low.