Network planning with availability guarantees

A non-transitory computer-readable storage medium storing instructions that, when executed by a computing system, cause the computing system to perform operations comprising:

• receiving, at a computing system, network data characterizing a backbone network, the network data representing a plurality of nodes and a plurality of links of the backbone network;
• receiving, at the computing system, flow data characterizing a plurality of flows, wherein each flow is associated with a first node from the plurality of nodes, a second node from the plurality of nodes, a flow demand, and an availability requirement level;
• enumerating, for each of a plurality of the availability requirement levels associated with flows in the flow data, a corresponding link failure, the enumerating based on the availability requirement level;
• generating, based on the enumerated link failures, the network data, and the flow data, a network model comprised of an allocated capacity for each of a plurality of links in the backbone network, wherein the flow demand and availability requirement level for each of the plurality of flows is satisfied by the network model for the plurality of the enumerated link failures corresponding to the availability requirement level of the flow;
• verifying whether the allocated capacities of the network model satisfy each of the flows from the plurality of flows characterized by the flow data;
• and
• generating, when the network model is verified, a network capacity plan.

A system comprising:

• an input data processor configured to:
• receive network data characterizing a backbone network, the network data representing a plurality of nodes and a plurality of links of the backbone network;
• and
• receive flow data characterizing a plurality of flows, wherein each flow is associated with at least two nodes of the backbone network a flow demand, and an availability requirement level;
• a failure enumerator configured to:
• enumerate, for each of a plurality of the availability requirement levels associated with flows in the flow data, a corresponding plurality of link failures;
• a network modeler configured to:
• generate, based on the enumerated link failures and the network data, a network model comprised of an allocated capacity for each of a plurality of links in the backbone network, wherein the flow demand and availability requirement level for each of the plurality of flows is satisfied by the network model for the plurality of the enumerated link failures corresponding to the availability requirement level of the flow;
• and
• a verification engine configured to:
• verify whether the allocated capacities of the network model satisfy a particular flow from the plurality of flows characterized by the flow data.