COMPARING REDUNDANCY MODELS FOR DETERMINATION OF AN AVAILABILITY MANAGEMENT FRAMEWORK (AMF) CONFIGURATION AND RUNTIME ASSIGNMENT OF A HIGH AVAILABILITY SYSTEM

摘要

Redundancy models are compared to determine or assist in determining an Availability Management Framework (AMF) configuration of a highly available system based on quantified service availability of the system. Each redundancy model defines assignments of service-instances to service-units. An analysis model of the system is constructed to capture recovery behaviors of the system for each redundancy model. Service availability of the system is quantified based on the analysis model under one or more scenarios including failure scenarios and recovery scenarios. Based on a comparison of service availability levels provided by the redundancy models and subject to constraints of the HA system, one of the redundancy models is identified that provides a required level of service availability for the system.