dependability analysis