In: Raliability Engineering and System Safety, Vol. 63, No. 1, pages 1-11. 1999.
Abstract: In a previous article, a new method allowing the treatment of large Markovian problems was presented. Based on a graph describing the influences between the components of the system, it performs successive approximate aggregations on the exact Markovian system to reduce its size. The main drawback of this method, as of any approximate method, is to assess its validity. That is why we develop a new presentation of the method here and we define, from this presentation, error bounds for the approximate results. They are then tested for two applications, one being very large. We also extend the method, initially defined for availability problems, to reliability problems.
Keywords: dependability analysis, influence graph methods, stochastic Petri nets.