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

Authors:
Andrea Ciancone;Antonio Filieri;Mauro Luigi Drago;Raffaela Mirandola;Vincenzo Grassi
Affiliations:
Politecnico di Milano, Milano, Italy;Politecnico di Milano, Milano, Italy;Politecnico di Milano, Milano, Italy;Politecnico di Milano, Milano, Italy;Università di Roma "Tor Vergata", Roma, Italy
Venue:
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Year:
2011

Citing 23
Cited 4

Software testing and reliability

Handbook of software reliability engineering
Architecture-based approach to reliability assessment of software systems

Performance Evaluation
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Building Reliable Component-Based Software Systems

Building Reliable Component-Based Software Systems
The Method of Layers

IEEE Transactions on Software Engineering
Model-Driven Development: A Metamodeling Foundation

IEEE Software
Model-Based Performance Prediction in Software Development: A Survey

IEEE Transactions on Software Engineering
PRISM 2.0: A Tool for Probabilistic Model Checking

QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Performance by unified model analysis (PUMA)

Proceedings of the 5th international workshop on Software and performance
From UML to LQN by XML algebra-based model transformations

Proceedings of the 5th international workshop on Software and performance
A Markov Reward Model Checker

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach

Journal of Systems and Software
A User-Oriented Software Reliability Model

IEEE Transactions on Software Engineering
CoCoME - The Common Component Modeling Example

The Common Component Modeling Example
KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability

The Common Component Modeling Example
Adding Dependability Analysis Capabilities to the MARTE Profile

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
The Palladio component model for model-driven performance prediction

Journal of Systems and Software
Model-Driven Assessment of QoS-Aware Self-Adaptation

Software Engineering for Self-Adaptive Systems
An axiomatization of PCTL*

Information and Computation
QoS-Based Model Driven Assessment of Adaptive Reactive Systems

ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Performance evaluation of component-based software systems: A survey

Performance Evaluation
Recursive markov chains, stochastic grammars, and monotone systems of nonlinear equations

STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
PRISM: a tool for automatic verification of probabilistic systems

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

QoS verification and model tuning @ runtime

Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Towards quality driven exploration of model transformation spaces

Proceedings of the 14th international conference on Model driven engineering languages and systems
Rapid performance modeling by transforming use case maps to palladio component models

Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Apprehensive QoS monitoring of Service choreographies

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

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.