Abstract
Dependability aspects, such as availability and security, are critical in the design and implementation of distributed real-time systems. As a result, it is becoming crucial to model and analyze dependability requirements at the early stages of system development life-cycle. The Service Availability Forum (SA Forum) has developed a set of standard API specifications to standardize high-availability platforms. Among these specifications, the Availability Management Framework (AMF) is the service responsible for managing the availability of the application services by handling application redundant components, dynamically shifting a workload of a faulty component to a healthy component. To manage service availability, AMF requires a configuration of the application it manages. This configuration consists of a logical view of the organization of the application’s services and components. Recognizing the need to plan for availability aspects at the early stages of system development life-cycle, this paper proposes an approach to map high level availability requirements into AMF configurations. The early availability requirements are expressed in terms of the Use Case Maps (UCM) language, part of the ITU-T User Requirements Notation (URN) standard. Our approach allows for the early reasoning about availability aspects and promotes the portability and the reusability of the developed systems across different platforms.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ISO/IEC/IEEE: 24765:2010(E) - Systems and software engineering – vocabulary, pp. 1–418 (2010), http://dx.doi.org/10.1109/IEEESTD.2010.5733835
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
International Telecommunication Union: Recommendation E.800 (09/08) Definitions of terms related to quality of service, http://www.itu.int/rec/T-REC-E.800/en
Wang, D., Trivedi, K.S.: Modeling user-perceived service availability. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol. 3694, pp. 107–122. Springer, Heidelberg (2005), http://dx.doi.org/10.1007/11560333_10
Hatebur, D., Heisel, M.: A Foundation for Requirements Analysis of Dependable Software. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol. 5775, pp. 311–325. Springer, Heidelberg (2009), http://dx.doi.org/10.1007/978-3-642-04468-7_25
Laprie, J., Avizienis, A., Kopetz, H.: Dependability: Basic Concepts and Terminology. Springer (1991)
Service AvailalbilityTM Forum: SAForum, http://www.saforum.org
Service AvailalbilityTM Forum: Application Interface Specification – Software Management Framework SAI-AIS-SMF-A.01.02, http://www.saforum.org/hoa/assn16627/images/sai-ais-smf-a.01.02.pdf
Service AvailalbilityTM Forum: Application Interface Specification – Overview SAI-Overview-B.05.03, http://www.saforum.org/hoa/assn16627/images/sai-overview-b.05.03.pdf
Service AvailabilityTM Forum: Application Interface Specification – Availability Management Framework SAI-AIS-AMF-B.04.01, http://www.saforum.org/hoa/assn16627/images/sai-ais-AMF-B.04.01.pdf
Salehi, P., Colombo, P., Hamou-Lhadj, A., Khendek, F.: A model driven approach for AMF configuration generation. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol. 6598, pp. 124–143. Springer, Heidelberg (2011), http://dx.doi.org/10.1007/978-3-642-21652-7_8
Kanso, A., Toeroe, M., Hamou-Lhadj, A., Khendek, F.: Generating AMF configurations from software vendor constraints and user requirements. In: International Conference on Availability, Reliability and Security, ARES 2009, pp. 454–461. IEEE (2009), http://dx.doi.org/10.1109/ARES.2009.27
Colombo, P., Salehi, P., Khendek, F., Toeroe, M.: Bridging the gap between user requirements and configuration requirements. In: 17th International Conference on Engineering of Complex Computer Systems, pp. 13–22. IEEE (2012), http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.11
Kanso, A., Toeroe, M., Khendek, F., Hamou-Lhadj, A.: Automatic generation of AMF compliant configurations. In: Nanya, T., Maruyama, F., Pataricza, A., Malek, M. (eds.) ISAS 2008. LNCS, vol. 5017, pp. 155–170. Springer, Heidelberg (2008), http://dx.doi.org/10.1007/978-3-540-68129-8_13
Kanso, A., Khendek, F., Toeroe, M., Hamou-Lhadj, A.: Automatic configuration generation for service high availability with load balancing. Concurrency and Computation: Practice and Experience 25(2), 265–287 (2013), http://dx.doi.org/10.1002/cpe.2805
International Telecommunication Union: Recommendation Z.151 (10/12) User Requirements Notation (URN), http://www.itu.int/rec/T-REC-Z.151/en
Hassine, J.: Early Availability Requirements Modeling using Use Case Maps. In: Eighth International Conference on Information Technology — New Generations, ITNG, pp. 754–759. IEEE Computer Society (2011), http://dx.doi.org/10.1109/ITNG.2011.133
Hassine, J., Gherbi, A.: Exploring Early Availability Requirements Using Use Case Maps. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 54–68. Springer, Heidelberg (2011), http://dx.doi.org/10.1007/978-3-642-25264-8_6
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley (2003)
jUCMNav v5.2.0: jUCMNav Project (tool, documentation, and meta-model), http://jucmnav.softwareengineering.ca/jucmnav
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hassine, J., Hamou-Lhadj, A. (2013). Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds) SDL 2013: Model-Driven Dependability Engineering. SDL 2013. Lecture Notes in Computer Science, vol 7916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38911-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-38911-5_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38910-8
Online ISBN: 978-3-642-38911-5
eBook Packages: Computer ScienceComputer Science (R0)