Open AccessBook
Certifying Software Component Performance Specifications
Henning Groenda
- 09 Oct 2020
4
TL;DR: This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications.
read more
Abstract: In component-based software engineering, performance prediction approaches support the design of business information systems on the architectural level. They are based on behavior specifications of components. This work presents a round-trip approach for using, assessing, and certifying the accuracy of parameterized, probabilistic, deterministic, and concurrent performance specifications. Its applicability and effectiveness are demonstrated using the CoCoME benchmark.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Architecture-Based Reliability Prediction with the Palladio Component Model.
Franz Brosch,Heiko Koziolek,Barbora Buhnova,Ralf Reussner +3 more
- 01 Jan 2014
TL;DR: This paper introduces a reliability modeling and prediction technique that considers the relevant architectural factors of software systems by explicitly modeling the system usage profile and execution environment and automatically deriving component usage profiles and offers a UML-like modeling notation whose models are automatically transformed into a formal analytical model.
123
•Journal Article
CB-SPE tool: Putting Component-Based performance Engineering into practice
TL;DR: The proposed CB-SPE framework is based on, and adapts to a CB paradigm, the concepts and steps of the well-known SPE technology, using for input modeling the standard RT-UML PA profile.
96
A formal analysis of MCDC and RCDC test criteria: Research Articles
Kalpesh Kapoor,Jonathan P. Bowen +1 more
TL;DR: Based on the properties of Boolean specifications, the analysis identifies the detection conditions for six kinds of faults and allows the measurement of the effort required in testing and the effectiveness of generated test sets satisfying the MCDC and RCDC criteria.
8
References
LLVM: a compilation framework for lifelong program analysis & transformation
Chris Lattner,Vikram Adve +1 more
- 20 Mar 2004
TL;DR: The design of the LLVM representation and compiler framework is evaluated in three ways: the size and effectiveness of the representation, including the type information it provides; compiler performance for several interprocedural problems; and illustrative examples of the benefits LLVM provides for several challenging compiler problems.
•Book
The unified software development process
Ivar Jacobson,Grady Booch,James Rumbaugh +2 more
- 01 Jan 1999
TL;DR: This book provides a comprehensive guide to The Objectory Software Development Process derived from the three market leading OOA&D methods: Booch, OOSE (Use-Case), and OMT.
3.8K
Decision making for leaders
Thomas L. Saaty
- 01 May 1985
TL;DR: Decision Making for Leaders is an introduction to Saaty's analytic hierarchy process (AHP) aimed at an audience of leaders in business, industry, and government.
1.6K
Model-based performance prediction in software development: a survey
TL;DR: A comprehensive review of recent research in the field of model-based performance prediction at software development time is presented in order to assess the maturity of the field and point out promising research directions.
868
The Palladio component model for model-driven performance prediction
TL;DR: The Palladio component model (PCM) is used to specify component-based software architectures in a parametric way to enable the prediction of extra-functional properties, and the resulting prediction accuracy is sufficient to support the evaluation of architectural design decisions.
812