Outer estimates of interval system of linear equations: ISPN models in dependability evaluation

Interval methods have been applied to the outer estimation of solution sets for real interval linear systems of equations. This work presents the evaluation of results relating to a significant set of algorithms for solving interval linear systems of equations applied to the steady state solution of dependability models. These algorithms have been implemented using the Matlab Intlab framework. The ISPN analysis takes into account the effects of variabilities in exponential transition rates and immediate transition weights when calculating dependability indices. Case studies were conducted and an evaluation is presented comparing the algorithms which have been applied to solving steady state dependability studies.