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. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6705 LNCS, pp. 99–114). https://doi.org/10.1007/978-3-642-21952-8_9
Mendeley helps you to discover research relevant for your work.