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
PIE: A Dynamic Failure-Based Technique
IEEE Transactions on Software Engineering
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Micro-Analysis of Computer System Performance
Micro-Analysis of Computer System Performance
Early reliability assessment of UML based software models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Distributed and Parallel Databases
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Reliability Prediction and Sensitivity Analysis Based on Software Architecture
ISSRE '02 Proceedings of the 13th International Symposium on Software Reliability 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
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Quality Prediction of Service Compositions through Probabilistic Model Checking
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Probabilistic Reachability for Parametric Markov Models
Proceedings of the 16th International SPIN Workshop on Model Checking Software
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Architecture-based reliability prediction for service-oriented computing
Architecting Dependable Systems III
Reliability analysis of component-based systems with multiple failure modes
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
QoS verification and model tuning @ runtime
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Evolution, adaptation, and the quest for incrementality
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Reliability analysis in symbolic pathfinder
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
We focus on reliability analysis for systems designed as workflow based compositions of components. Components are characterized by their failure profiles, which take into account possible multiple failure modes. A compositional calculus is provided to evaluate the failure profile of a composite system, given failure profiles of the components. The calculus is described as a syntax-driven procedure that synthesizes a workflow's failure profile. The method is viewed as a design-time aid that can help software engineers reason about system's reliability in the early stage of development. A simple case study is presented to illustrate the proposed approach.