Sensitivity analysis of reliability and performability measures for multiprocessor systems
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
The infeasibility of experimental quantification of life-critical software reliability
SIGSOFT '91 Proceedings of the conference on Software for citical systems
PIE: A Dynamic Failure-Based Technique
IEEE Transactions on Software Engineering
Software testing and reliability
Handbook of software reliability engineering
Estimation of software reliability by stratified sampling
ACM Transactions on Software Engineering and Methodology (TOSEM)
Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Early reliability assessment of UML based software models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Reliability Prediction and Sensitivity Analysis Based on Software Architecture
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability Engineering
Journal of Systems and Software - Special issue on: Component-based software engineering
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
EPIC: Profiling the Propagation and Effect of Data Errors in Software
IEEE Transactions on Computers
Calculating Architectural Reliability via Modeling and Analysis
Proceedings of the 26th International Conference on Software Engineering
Error Propagation In Software Architectures
METRICS '04 Proceedings of the Software Metrics, 10th International Symposium
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
An analytical approach to architecture-based software performance and reliability prediction
Performance Evaluation
A User-Oriented Software Reliability Model
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
A compositional method for reliability analysis of workflows affected by multiple failure modes
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Reliability prediction for fault-tolerant software architectures
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
QoS verification and model tuning @ runtime
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Personalized Reliability Prediction of Web Services
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards design support for provenance awareness: a classification of provenance questions
Proceedings of the Joint EDBT/ICDT 2013 Workshops
Reliability analysis in symbolic pathfinder
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
This paper presents a novel approach to the reliability modeling and analysis of a component-based system that allows dealing with multiple failure modes and studying the error propagation among components. The proposed model permits to specify the components attitude to produce, propagate, transform or mask different failure modes. These component-level reliability specifications together with information about systems global structure allow precise estimation of reliability properties by means of analytical closed formulas, probabilistic model-checking or simulation methods. To support the rapid identification of components that could heavily affect systems reliability, we also show how our modeling approach easily support the automated estimation of the system sensitivity to variations in the reliability properties of its components. The results of this analysis allow system designers and developers to identify critical components where it is worth spending additional improvement efforts.