Abstract:
|
A numerically stable method is developed which computes seemingly tight bounds at
a small computational cost relative to the model size, when that model size is large,
for the unreliability and bounds for the unreliability using, respectively, exact and
bounding failure/repair continuous-time Markov chain models of fault-tolerant systems
with exponential failure and repair time distributions, in which repair is deferred until
some condition on the collection of failed components is satisfied, and, then, proceeds
until reaching the state without failed components, with failure rates much smaller than repair rates and not too different output rates from states with deferred repair. |