KlaperSuite: An integrated model-driven environment for reliability and performance analysis of component-based systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6705 LNCS, Issue , 2011, Pages 99-114

  Ciancone, Andrea ^a   Filieri, Antonio ^a   Drago, Mauro Luigi ^a   Mirandola, Raffaela ^a   Grassi, Vincenzo ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF ROME TOR VERGATA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYTICAL MODEL; AUTOMATIC PREDICTION; COMPONENT BASED SYSTEMS; DESIGN AND ANALYSIS; DESIGN MODELS; FORMAL PROPERTY VERIFICATION; MODEL-DRIVEN; MODEL-DRIVEN ENGINEERING; NON-FUNCTIONAL REQUIREMENTS; PERFORMANCE ANALYSIS; PERFORMANCE PROPERTIES; PIVOT LANGUAGE; SOFTWARE DESIGNERS; INTEGRATED MODELING;

DESIGN; MATHEMATICAL MODELS; MODELS; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY; APPLICATION PROGRAMS;

RELIABILITY ANALYSIS;

EID: 79960179841     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21952-8_9     Document Type: Conference Paper

References (36)

1. Smith, C.U., Williams, L.G.: Performance and Scalability of Distributed Software Architectures: an SPE Approach. Addison-Wesley, Reading (2002).
2. 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).
3. Koziolek, H.: Performance evaluation of component-based software systems: A survey. Perform. Eval. 67(8), 634-658 (2010).
4. Crnkovic, I.: Building Reliable Component-Based Software Systems. Artech House, Inc., Norwood (2002).
5. Szyperski, C.: Component Software: Beyond Object-Oriented Programming. Addison-Wesley Longman Publishing Co., Inc., Boston (2002).
6. Object Management Group: UML 2.0 superstructure specification (2002).
7. Atkinson, C., K?uhne, T.: Model-driven development: A metamodeling foundation. IEEE Softw. 20(5), 36-41 (2003).
8. Becker, S., Koziolek, H., Reussner, R.: The palladio component model for modeldriven performance prediction. Journal of Systems and Software 82(1), 3-22 (2009).
9. 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). (Pubitemid 44447376)
10. Wosp: Proceedings of the international workshop on software and performance (1998-2010).
11. 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). (Pubitemid 46329131)
12. 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). (Pubitemid 44447385)
13. Object Management Group: MOF version 2.0, ptc/04-10-15 (2004).
14. Foundation, T.E.: Project website (2010), http://www.eclipse.org.
15. Horgan, J., Mathur, A.: Software testing and reliability. The Handbook of Software Reliability Engineering, 531-565 (1996).
16. Cheung, R.C.: A user-oriented software reliability model. IEEE Trans. Softw. Eng. 6(2), 118-125 (1980).
17. Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing 6, 512-535 (1994).
18. Reynolds, M.: An axiomatization of pctl*. Information and Computation 201(1), 72-119 (2005).
19. 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). (Pubitemid 44019387)
20. 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). (Pubitemid 40456790)
21. 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).
22. Baier, C., Katoen, J., et al.: Principles of model checking (2008).
23. Group, O.M.: Qvt 1.0 specification (2008), http://www.omg.org/spec/QVT/1. 0/.
24. Efftinge, S., Kadura, C.: Xpand language reference (2006).
25. Goseva-Popstojanova, K., Trivedi, K.S.: Architecture-based approach to reliability assessment of software systems. Performance Evaluation 45(2-3), 179 (2001).
26. 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). (Pubitemid 41241259)
27. Consortium, Q.I.: Project website (2010), http://www.q-impress.eu.
28. Rolia, J.A., Sevcik, K.C.: The method of layers. IEEE Transactions on Software Engineering 21(8), 689-700 (1995).
29. Randazzo, E.: AModel-Based Approach to Performance and Reliability Prediction. PhD thesis, Universit?a degli Studi di Roma - Tor Vergata (2010).
30. Immonen, A., Niemelia, E.: Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and System Modeling 7(1), 49-65 (2008). (Pubitemid 350186820)
31. 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., Volter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 736-750. Springer, Heidelberg (2008).
32. 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). (Pubitemid 46882234)
33. 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., Pliasil, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 16-53. Springer, Heidelberg (2008).
34. 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., Pliasil, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 327-356. Springer, Heidelberg (2008).
35. 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).
36. 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)