SPADE: A Tool for Performance and Reliability Evaluation
A R Sahner, S K Trivedi · 1984
A model for the stochastic analysis of directed acyclic graphs is developed. These graphs represent event-procedure networks where the distribution function associated with an event is assumed to be a variant of the phase-type distribution. Events may occur sequentially, probabilistically, or concurrently. The distribution function of the graph execution time is computed in a semi-symbolic form. Applications of the model for the evaluation of concurrent program execution time and to the reliability analysis of fault-tolerant systems are discussed.