Performance Certification of Software Components

Authors:
Erik Burger;Ralf Reussner
Affiliations:
Software Design and Quality, Institute for Program Structures and Data Organization, Faculty of Informatics, Karlsruhe Institute of Technology, Germany;Software Design and Quality, Institute for Program Structures and Data Organization, Faculty of Informatics, Karlsruhe Institute of Technology, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 5
Cited 0

Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach

Journal of Systems and Software
The Palladio component model for model-driven performance prediction

Journal of Systems and Software
PRISM: probabilistic model checking for performance and reliability analysis

ACM SIGMETRICS Performance Evaluation Review
Quantitative Analysis With the Probabilistic Model Checker PRISM

Electronic Notes in Theoretical Computer Science (ENTCS)
Using Genetic Search for Reverse Engineering of Parametric Behavior Models for Performance Prediction

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Non-functional properties of software should be specified early in the development process. In a distributed process of software development, this means that quality requirements must be made explicit in the specification, and the developing party of a commissioned component needs to deliver not only the implemented component, but also a description of its non-functional properties. Based on these artefacts, a conformance check guarantees that the implemented component fulfills the performance requirements. We extend the notion of model refinement to non-functional properties of software and propose a refinement calculus for conformance checking between abstract performance descriptions of components. The calculus is based on a refinement notion that covers the performance-relevant aspects of components. The approach is applied to the Palladio Component Model as a description language for performance properties of components.