We have discussed models for quantifying
availability of a software system. We have considered
reactive recovery techniques for Mandelbugs and
availability models that incorporate these recovery
techniques. For aging-related bugs, a powerful
proactive recovery technique is rejuvenation. We
discussed rejuvenation scheduling and availability
models for software systems when rejuvenation is used
to deal with aging.