Abstract
High availability is a key ingredient in the design of mission critical and revenue generating software applications. With the release of the Service Availability Forum specifications, the availability of these applications can be managed by standardized middleware. Such middleware is capable of detecting and reacting to the application’s components failures. In order to manage the availability of the services provided by the applications, the middleware requires a system configuration that describes the system’s hardware as well as the software application organization and the recovery policies that define the runtime behavior of the middleware. Different configurations for the same application may render different levels of service availability. Quantifying the availability of an application under a given configuration before deployment is an important issue. In this paper we present an approach to approximate from the system configuration the availability of the services provided by a middleware-managed application.
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
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Yanming, C., Shiyi, X.: Exploration of complexity in software reliability. Tsinghua Science and Technology 12(s1), 266–269 (2007)
Zuse, H.: Software Complexity: Measures and Methods. Walter de Gruyer (1990)
Capretz, L., Capretz, M., Li, D.: Component-based software development. In: The 27th Annual Conference of the IEEE Industrial Electronics Society, vol. 3, pp. 1834–1837. IEEE conference publications (2001)
Service Availability Forum: Application Interface Specification, http://www.saforum.org/Service-Availability-Forum:-Application-Interface-Specification~217404~16627.htm
Object Management Group (OMG), Unified Modeling Language - Superstructure Version 2.1.1 formal/2007-02-03 (2007) http://www.omg.org/spec/UML/2.1.1/
Service Availability Forum: AIS Availability Management Framework, http://www.saforum.org/HOA/assn16627/images/SAI-AIS-AMF-B.04.01.pdf
VideoLAN Client, http://www.videolan.org/
Kanso, A., Mishra, A., Toeroe, M., Khendek, F.: Integrating Legacy Applications for High Availability – A Case Study. In: IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE), pp. 83–90. IEEE conference publications (2011)
OpenSAF foundation, http://www.opensaf.org/
Xie, W., Sun, H., Cao, Y., Trivedi, K.S.: Modeling of user perceived webserver availability. In: Proceedings of the IEEE International Conference on Communications (ICC), vol. 3, pp. 1796–1800. IEEE conference publications (2003)
Tokuno, K., Yamada, S.: Markovian model for user-perceived software service availability measurement with operation-oriented restoration. In: 7th International Conference on Service Systems and Service Management (ICSSSM), pp. 1–6. IEEE conference publications (2010)
Ambuj, G., Stephen, L.: Modeling and analysis of computer system availability. IBM Journal of Research and Development 31(6), 651–664 (1987)
Natkin, S.: Les Reseaux de Petri Stochastiques et leur Application a l’Evaluation des Systemes Informatiques. PhD thesis, CNAM Paris (1980)
Ajmone Marsan, M., Chiola, G.: On Petri Nets with Deterministic and Exponentially Distributed Firing Times. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol. 266, pp. 132–145. Springer, Heidelberg (1987)
Choi, H., Kulkarni, V.G., Trivedi, K.S.: Transient Analysis of Deterministic and Stochastic Petri Nets. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 166–185. Springer, Heidelberg (1993)
Reussner, R., Schmidt, H., Poernomo, I.: Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3), 241–252 (2003)
Harrold, M.J., Liang, D., Sinha, S.: An approach to analyzing and testing component-based systems. In: First International ICSE Workshop on Testing Distributed Component-Based Systems, pp. 333–347. ACM Press (1999)
Kanso, A., Khendek, F., Toeroe, M.: Automatic Annotation of Software Configuration Models with Service Recovery Information. IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing (DASC), pp.121-128. IEEE conference publications (2011)
Zimmermann, A., Freiheit, J., German, R., Hommel, G.: Petri Net Modelling and Performability Evaluation with TimeNET 3.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 188–202. Springer, Heidelberg (2000)
Wang, D.-Z., 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)
Bondavalli, A., Mura, I., Majzik, I.: Automated dependability analysis of UML designs. In: Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 1999), pp. 139–144. IEEE conference publications (1999)
Bernardi, S., Merseguer, J., Petriu, D.C.: A dependability profile within MARTE. In: Software and Systems Modeling. LNCS, vol. 10(3), pp. 1–24. Springer (2011)
Bernardi, S., Merseguer, J.: A UML profile for dependability analysis of real-time embedded systems. In: A UML profile for dependability analysis of real-time embedded systems, pp. 155–124. ACM press (2007)
Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol. 2677, pp. 219–244. Springer, Heidelberg (2003)
Kanso, A., Khendek, F., Toeroe, M., Hamou-Lhadj, A.: Automatic Configuration Generation for Service High Availability with Load Balancing. In: Concurrency and Computation: Practice and Experience, Wiley (2012), doi: 10.1002/cpe.2805
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
Kanso, A., Toeroe, M., Khendek, F. (2013). Configuration-Based Service Availability Analysis for Middleware Managed Applications. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds) System Analysis and Modeling: Theory and Practice. SAM 2012. Lecture Notes in Computer Science, vol 7744. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36757-1_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-36757-1_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36756-4
Online ISBN: 978-3-642-36757-1
eBook Packages: Computer ScienceComputer Science (R0)