Book Chapter10.1007/978-3-642-13821-8_5
Parameterized reliability prediction for component-based software architectures
Franz Brosch,Heiko Koziolek,Barbora Buhnova,Ralf Reussner +3 more
- 23 Jun 2010
- pp 36-51
TL;DR: This work integrates the reliability-relevant architectural aspects in a highly parameterized UML-like model, which allows for transparent evaluation of architectural design options and covers the propagation of the system usage profile throughout the architecture, and the impact of the execution environment, which are neglected in most of the existing approaches.
read more
Abstract: Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number of design-time reliability-analysis methods has been developed to support this task. However, the methods are often based on very low-level formalisms, and the connection to different architectural aspects (e.g., the system usage profile) is either hidden in the constructs of a formal model (e.g., transition probabilities of a Markov chain), or even neglected (e.g., resource availability). This strongly limits the applicability of the methods to effectively support architectural design. Our approach, based on the Palladio Component Model (PCM), integrates the reliability-relevant architectural aspects in a highly parameterized UML-like model, which allows for transparent evaluation of architectural design options. It covers the propagation of the system usage profile throughout the architecture, and the impact of the execution environment, which are neglected in most of the existing approaches. Before analysis, the model is automatically transformed into a formal Markov model in order to support effective analytical techniques to be employed. The approach has been validated against a reliability simulation of a distributed Business Reporting System.
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
Automated Improvement of Software Architecture Models for Performance and Other Quality Attributes
Anne Koziolek
- 01 Jan 2011
TL;DR: This thesis proposes a method and tool to automatically improve component-based software architecture (CBA) models based on quantitative quality prediction techniques to support systematic, goal-oriented software design.
64
Design Verification of Instrumentation and Control Systems of Nuclear Power Plants
TL;DR: The strategy discussed the system modeling for design verification using Petri Net, converting it into Markov Chain and solving the linear system mathematically, and exploits the best attribute of the created Markov model.
62
•Book
Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis
Klaus Krogmann
- 04 Apr 2012
TL;DR: This book describes a new integrated reverse engineering approach for the reconstruction of parameterised software performance models (software component architecture and behaviour) to avoid bottlenecks and identify scalability limitations for new usage scenarios.
Reliability-driven deployment optimization for embedded systems
TL;DR: This paper targets multi-criteria optimization and provides the architect with near-optimal deployment alternatives with respect to service reliabilities and designs a method to quantify the quality of individual deployment alternatives.
50
References
•Book
Software Reliability: Measurement, Prediction, Application
John D. Musa,Anthony Iannino,Kazuhira Okumoto +2 more
- 01 May 1987
TL;DR: Revised and updated for professional software engineers, systems analysts and project managers, this book provides key concepts of software reliability and practical solutions for measuring reliability.
2K
•Proceedings Article
Disk failures in the real world: what does an MTTF of 1,000,000 hours mean to you?
Bianca Schroeder,Garth A. Gibson +1 more
- 13 Feb 2007
TL;DR: In this article, the authors present and analyze field-gathered disk replacement data from a number of large production systems, including high-performance computing sites and internet services sites, and find that in the field, annual disk replacement rates typically exceed 1%, with 2-4% common and up to 13% observed on some systems.
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
Architecture-based approach to reliability assessment of software systems
TL;DR: The state of the architecture-based approach to reliability assessment of component based software is detailed and how it can be used to examine software behavior right from the design stage to implementation and final deployment is described.
457
A user-oriented software reliability model
R.C. Cheung
- 13 Nov 1978
TL;DR: A user-oriented software reliability figure of merit is defined to measure the reliability of a software system with respect to a user environment and the effects of the user profile, which summarizes the characteristics of the users of a system, on system reliability are discussed.
356