Abstract
Automatic prediction tools play a key role in enabling the application of non-functional requirements analysis to selection and assembly of components for Component-Based Systems, reducing the need for strong mathematical skills to software designers. Exploiting the paradigm of Model Driven Engineering (MDE), it is possible to automate transformations from design models to analytical models, enabling for formal property verification. MDE is the core paradigm of KlaperSuite presented in this paper, which exploits the KLAPER pivot language to fill the gap between Design and Analysis of Component-Based Systems for reliability and performance properties. KlaperSuite is a family of tools empowering designers with the ability to capture and analyze QoS views of their systems by building a one-click bridge towards a number of established verification instruments.
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.
References
Smith, C.U., Williams, L.G.: Performance and Scalability of Distributed Software Architectures: an SPE Approach. Addison-Wesley, Reading (2002)
Balsamo, S., DiMarco, A., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: A survey. IEEE Transactions on Software Engineering 30(5), 295–310 (2004)
Koziolek, H.: Performance evaluation of component-based software systems: A survey. Perform. Eval. 67(8), 634–658 (2010)
Crnkovic, I.: Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood (2002)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)
Object Management Group: UML 2.0 superstructure specification (2002)
Atkinson, C., Kühne, T.: Model-driven development: A metamodeling foundation. IEEE Softw. 20(5), 36–41 (2003)
Becker, S., Koziolek, H., Reussner, R.: The palladio component model for model-driven performance prediction. Journal of Systems and Software 82(1), 3–22 (2009)
Woodside, M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by unified model analysis (puma). In: WOSP 2005: Proceedings of the 5th International Workshop on Software and Performance, pp. 1–12. ACM Press, New York (2005)
Wosp: Proceedings of the international workshop on software and performance (1998-2010)
Grassi, V., Mirandola, R., Sabetta, A.: Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach. J. Syst. Softw. 80(4), 528–558 (2007)
Gu, G.P., Petriu, D.C.: From uml to lqn by xml algebra-based model transformations. In: WOSP 2005: Proceedings of the 5th International Workshop on Software and Performance, pp. 99–110. ACM Press, New York (2005)
Object Management Group: MOF version 2.0, ptc/04-10-15 (2004)
Foundation, T.E.: Project website (2010), http://www.eclipse.org
Horgan, J., Mathur, A.: Software testing and reliability. The Handbook of Software Reliability Engineering, 531–565 (1996)
Cheung, R.C.: A user-oriented software reliability model. IEEE Trans. Softw. Eng. 6(2), 118–125 (1980)
Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6, 512–535 (1994)
Reynolds, M.: An axiomatization of pctl*. Information and Computation 201(1), 72–119 (2005)
Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: Hermanns, H. (ed.) TACAS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006)
Kwiatkowska, M., Norman, G., Parker, D.: Prism 2.0: a tool for probabilistic model checking. In: Proceedings First International Conference on the Quantitative Evaluation of Systems, QEST 2004, pp. 322–323 (2004)
Katoen, J.-P., Khattri, M., Zapreevt, I.S.: A markov reward model checker. In: Second International Conference on the Quantitative Evaluation of Systems, pp. 243–244 (2005)
Baier, C., Katoen, J., et al.: Principles of model checking (2008)
Group, O.M.: Qvt 1.0 specification (2008), http://www.omg.org/spec/QVT/1.0/
Efftinge, S., Kadura, C.: Xpand language reference (2006)
Goseva-Popstojanova, K., Trivedi, K.S.: Architecture-based approach to reliability assessment of software systems. Performance Evaluation 45(2-3), 179 (2001)
Etessami, K., Yannakakis, M.: Recursive markov chains, stochastic grammars, and monotone systems of nonlinear equations. In: Diekert, V., Durand, B. (eds.) STACS 2005. LNCS, vol. 3404, pp. 340–352. Springer, Heidelberg (2005)
Consortium, Q.I.: Project website (2010), http://www.q-impress.eu
Rolia, J.A., Sevcik, K.C.: The method of layers. IEEE Transactions on Software Engineering 21(8), 689–700 (1995)
Randazzo, E.: A Model-Based Approach to Performance and Reliability Prediction. PhD thesis, Universitá degli Studi di Roma - Tor Vergata (2010)
Immonen, A., Niemelä, E.: Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and System Modeling 7(1), 49–65 (2008)
Bernardi, S., Merseguer, J., Petriu, D.C.: Adding dependability analysis capabilities to the MARTE profile. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 736–750. Springer, Heidelberg (2008)
Petriu, D.B., Woodside, C.M.: An intermediate metamodel with scenarios and resources for generating performance models from uml designs. Software and System Modeling 6(2), 163–184 (2007)
Herold, S., Klus, H., Welsch, Y., Deiters, C., Rausch, A., Reussner, R., Krogmann, K., Koziolek, H., Mirandola, R., Hummel, B., Meisinger, M., Pfaller, C.: CoCoME - the common component modeling example. In: Rausch, A., Reussner, R., Mirandola, R., Plášil, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 16–53. Springer, Heidelberg (2008)
Grassi, V., Mirandola, R., Randazzo, E., Sabetta, A.: KLAPER: An intermediate language for model-driven predictive analysis of performance and reliability. In: Rausch, A., Reussner, R., Mirandola, R., Plášil, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 327–356. Springer, Heidelberg (2008)
Grassi, V., Mirandola, R., Randazzo, E.: Model-driven assessment of qoS-aware self-adaptation. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 201–222. Springer, Heidelberg (2009)
Perez-Palacin, D., Mirandola, R., Merseguer, J., Grassi, V.: Qos-based model driven assessment of adaptive reactive systems. In: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops,ICSTW 2010, pp. 299–308. IEEE Computer Society Press, Washington, DC, USA (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciancone, A., Filieri, A., Drago, M.L., Mirandola, R., Grassi, V. (2011). KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems. In: Bishop, J., Vallecillo, A. (eds) Objects, Models, Components, Patterns. TOOLS 2011. Lecture Notes in Computer Science, vol 6705. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21952-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-21952-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21951-1
Online ISBN: 978-3-642-21952-8
eBook Packages: Computer ScienceComputer Science (R0)