Performability Modelling : Techniques and Tools

The uniformization method in performability analysis queues with breakdowns techniques for fast simulation of models of highly dependable systems closed-form solutions for performability the task completion time in degradable systems Markov-reward models and hyperbolic systems specification and construction of performability models a survey of performability modelling tools.