This book presents state-of-the-art solutions for increasing the resilience of computing systems. Coverage includes recently developed techniques for the evaluation of system reliability including stochastic methods such as Markov chains and Bayesian networks. In addition, the book offers a practical slant, helping readers to save significant design effort and resources, and potentially reduce the time-to-market of new systems. Written for researchers and postgraduate students working in the fields of electronics engineering and computing, particularly those with an interest in the computer system dependability.