Survivability of high-capacity optical wavelength-division multiplexing (WDM) mesh networks has received much research attention for many years now. These networks are typically designed to survive single component failures. The method of pre-configured protection cycles (p-cycles) promises to achieve ring-like high speed protection with mesh-like high efficiency in use of spare capacity. In such networks, which are designed to with- stand only single failures, service availability comes to depend on dual-failure (or more) considerations. Hence, availability-aware service provisioning emerged as a topic of great importance in the past few years. In this book, we first revisit the problem of availability analysis in p-cycle based networks and present an accurate model for availability-aware provisioning after highlighting major flaws in prior work. We then present the first model for availability-aware provisioning in Failure-Independent Path Protecting (FIPP) based networks. Our model provides a technique for allocating p-cycles and FIPP to restore single link failures such that the unavailability of all the demands in the network is bounded by an upper limit.