Theory of software reliability based on components
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Quantifying software performance, reliability and security: An architecture-based approach
Journal of Systems and Software
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
Software Reliability Engineering: A Roadmap
FOSE '07 2007 Future of Software Engineering
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
A User-Oriented Software Reliability Model
IEEE Transactions on Software Engineering
Early prediction of software component reliability
Proceedings of the 30th international conference on Software engineering
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Architecture-based software reliability modeling
Journal of Systems and Software
Probabilistic automata for architecture-based reliability assessment
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations
Electronic Notes in Theoretical Computer Science (ENTCS)
Parameterized reliability prediction for component-based software architectures
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
| Hi-index | 0.00 |
Predicting the reliability of a software system at an architectural level during early design stages can help to make systems more dependable and avoid costs for fixing the implementation. Existing reliability prediction methods for component-based systems use Markov models and assume that the software architect can provide the transition probabilities between individual components. This is however not possible if the components are black boxes, only at the design stage, or not available for testing. We propose a new modelling formalism that includes parameter dependencies into software component reliability specifications. It allows the software architect to only model a system-level usage profile (i.e., parameter values and call frequencies), which a tool then propagates to individual components to determine the transition probabilities of the Markov model. We demonstrate the applicability of our approach by modelling the reliability of a retail management system and conduct reliability predictions.