Abstract
Highly available applications undergo upgrades like any software system. Because of the high availability requirement, such applications cannot be taken offline for performing the upgrade and then put back into service. The upgrade has to be performed while the application is providing services, and it has to avoid service outage as much as possible. The Service Availability Forum (SAF) has defined and standardized a set of middleware services to support high availability and enable application portability. Among these services, the Software Management Framework (SMF) is in charge of the upgrade, mainly through the execution of the upgrade campaign specification, which is seen as an orchestration of the upgrade. The structure and concepts of an upgrade campaign, like procedures, steps and upgrade methods, are defined in the standard. The way these concepts are applied to the elements of an application in a given campaign defines the orchestration of their upgrade and needs to be thought through. For this one has to take into account the dependencies between the elements of the application. Indeed, breaking these dependencies is the main source of outage during upgrade. In this paper we propose a model driven approach for the generation of upgrade campaign specifications taking into account these dependencies, the initial system configuration and the target one.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
SAForum. http://www.saforum.org
SAForum: Application Interface Specification, Availability Management Framework specification: SAI-AIS-AMF-B.04.01.AL
SAForum: Application Interface Specification, Software Management Framework specification: SAI-AIS-SMF-A.01.02.AL
SAForum: Application Interface Specification, Information Model Management specification: SAI-AIS-IMM-A.03.01.AL
Davoudian, A., Khendek, F., Toeroe, M.: Ordering upgrade changes for highly available component based systems. In: The Proceedings of IEEE HASE 2014, Florida, January 2014
Mishra, A.: Automated AMF configuration difference generation. M.A.Sc. thesis, Electrical and Computer Engineering, Concordia University (2011)
Xuejun, C.: Dependence management for dynamic reconfiguration of component-based distributed systems. In: The Proceedings of 17th IEEE International Conference on Automated Software Engineering, pp. 279–284. IEEE Computer Society (2002)
Matevska, J., Hasselbring, W.: A scenario-based approach to increasing service availability at runtime reconfiguration of component-based systems. In: The Proceedings of 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007), pp. 137–148. IEEE, August 2007
Yu, L., Shoja, G., Muller, H., Srinivasan, A.: A framework for live software upgrade. In: The Proceedings of the 13th ISSRE, pp. 149–158. IEEE Computer Society (2002)
Wolski, A., Laiho, K.: Rolling upgrades for continuous services. In: Malek, M., Reitenspiess, M., Kaiser, J. (eds.) ISAS 2004. LNCS, vol. 3335, pp. 175–189. Springer, Heidelberg (2005)
Kon, F., Campbell, R.: Dependence management in component-based distributed systems. IEEE Concurrency 8(1), 26–36 (2000)
Morin, B., Nain, G., Barais, O., Jézéquel, J.-M.: Leveraging models from design-time to runtime. A live demo. In: The Proceedings of the 4th Workshop of Models@runtime, MODELS (2009)
Giuffrida, C., Kuijsten, A., Tanenbaum, A.S.: Safe and automatic live update for operating systems. ACM SIGARCH Comput. Architect. News 41(1), 279–292 (2013)
Milazzo, M., Pappalardo, G., Tramontana, E., Ursino, G.: Handling run-time updates in distributed applications. In: The Proceedings of the ACM SAC 2005, New York, USA (2005)
Almeida, J., Wegdam, M., van Sinderen, M., Nieuwenhuis, L.: Transparent dynamic reconfiguration for CORBA. In: The Proceedings of the 3rd International Symposium on Distributed Objects and Applications. IEEE Computer Society (2001)
Ajmani, S., Liskov, B., Shrira, L.: Scheduling and simulation: how to upgrade distributed systems. In: The Proceedings of the 9th Conference on Hot Topics in Operating Systems. USENIX, May 2003
Chen, H., Yu, J., Chen, R., Zang, B., Yew, P.-C.: POLUS: A POwerful Live Updating System. In: Proceedings of ICSE 2007, pp. 271–281. IEEE, May 2007
Miedes, E., Munoz-Escoi, F.D.: A survey about dynamic software updating. Instituto Universitario Mixto Tecnologico de Informatica, Universitat Politecnica de Valencia, Technical report (2012)
Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: an analysis of approaches to support model differencing. In: The Proceedings of the ICSE Workshop on Comparison and Versioning of Software Models (CVSM 2009). IEEE Computer Society, Washington, DC (2009)
EPSILON. http://www.eclipse.org/epsilon
Kolovos, D.S., Paige, R.F., Polack, F.A.: The Epsilon Transformation Language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008)
Rose, L.M., Paige, R.F., Kolovos, D.S., Polack, F.A.: The Epsilon Generation Language. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 1–16. Springer, Heidelberg (2008)
Kolovos, D.S., Paige, R.F., Polack, F.A.: The Epsilon Object Language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128–142. Springer, Heidelberg (2006)
Francis, M., Kolovos, D.S., Matragkas, N., Paige, R.F.: Adding spreadsheets to the MDE toolkit. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 35–51. Springer, Heidelberg (2013)
Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice Hall, Upper Saddle River (1996)
Atlas Transformation Language. https://www.eclipse.org/atl/
Acknowledgement
This work has been partially supported by Natural Sciences and Engineering Research Council of Canada (NSERC) and Ericsson.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Jebbar, O., Sackmann, M., Khendek, F., Toeroe, M. (2016). Model Driven Upgrade Campaign Generation for Highly Available Systems. In: Grabowski , J., Herbold, S. (eds) System Analysis and Modeling. Technology-Specific Aspects of Models . SAM 2016. Lecture Notes in Computer Science(), vol 9959. Springer, Cham. https://doi.org/10.1007/978-3-319-46613-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-46613-2_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46612-5
Online ISBN: 978-3-319-46613-2
eBook Packages: Computer ScienceComputer Science (R0)