We discuss availability aspects of large softwarebased systems. We classify faults into Bohrbugs, Mandelbugs and aging-related bugs, then examine mitigation methods for the last two bug types. We also consider quantitative approaches to availability assurance.
Kishor S. Trivedi, Gianfranco Ciardo, Balakrishnan