Patent Document ID: 9104466
Application ID: 13967862
Patent Flag: 1

Claim One:
1. A computer-implemented method for comparing a set of redundancy models to thereby determine or assist in determining an Availability Management Framework (AMF) configuration of a highly available (HA) system based on quantified service availability of the HA system, wherein each redundancy model defines assignments of a plurality of service-instances representing workload to a plurality of service-units representing resources, and wherein each service-unit represents a unit of replication in the redundancy models, the method comprising the steps of: constructing an analysis model of the HA system to capture recovery behaviors of the HA system for each of the redundancy models; quantifying the service availability of the HA system based on the analysis model under one or more of a plurality of scenarios including failure scenarios and recovery scenarios; comparing levels of the service availability provided by the redundancy models; and identifying, based on the compared levels of the service availability and subject to constraints of the HA system, one of the redundancy models that provides a required level of service availability for the HA system.