Title :
A Tool Suite for the Generation and Validation of Configurations for Software Availability
Author :
Gherbi, A. ; Kanso, A. ; Khendek, F. ; Hamou-Lhadj, A. ; Toeroe, M.
Author_Institution :
Electr. & Comput. Eng., Concordia Univ., Montreal, QC, Canada
Abstract :
The Availability Management Framework (AMF) is a service responsible for managing the availability of services provided by applications that run under its control. Standardized by the Service Availability Forum (SAF), AMF requires for its operations a complete and compliant AMF configuration of the applications to be managed. In this paper, we describe two complementary and integrated tools for AMF configurations generation and validation. Indeed, writing manually an AMF configuration is a tedious and error prone task as a large number of requirements defined in the standard have to be taken into consideration during the process. One solution for ensuring compliance with the standard is the validation of the configurations against all the AMF requirements. For this, we have designed and implemented a domain model for AMF configurations and use it as a basis for an AMF configuration validator. To further ease the task of a configuration designer, we have devised and implemented a method for generating automatically AMF configurations.
Keywords :
program verification; software reliability; software tools; AMF configurations generation; AMF configurations validation; availability management framework; service availability forum; software availability; tool suite; Application software; Availability; Conference management; Engineering management; Protection; Redundancy; Resource management; Software engineering; Software tools; Writing; Automated Configuration Generation; Availability Management Framework; Domain Model; High-Availability; Validation;
Conference_Titel :
Automated Software Engineering, 2009. ASE '09. 24th IEEE/ACM International Conference on
Conference_Location :
Auckland
Print_ISBN :
978-1-4244-5259-0
Electronic_ISBN :
1938-4300
DOI :
10.1109/ASE.2009.18