Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
The cleanroom approach to quality software development
The cleanroom approach to quality software development
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Software reliability and system reliability
Handbook of software reliability engineering
Theory of software reliability based on components
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Computer
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Enhanced Component Interfaces to Support Dynamic Adaption and Extension
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
An Architecture-Based Software Reliability Model
PRDC '99 Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing
Quantifying the reliability of software: statistical testing based on a usage model
ISESS '95 Proceedings of the 2nd IEEE Software Engineering Standards Symposium
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Trustworthy components-compositionality and prediction
Journal of Systems and Software - Special issue on: Component-based software engineering
Calculating Architectural Reliability via Modeling and Analysis
Proceedings of the 26th International Conference on Software Engineering
Software failure prediction based on a Markov Bayesian network model
Journal of Systems and Software
Bayesian network based software reliability prediction with an operational profile
Journal of Systems and Software
A Tool for Reliability and Availability Prediction
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Estimating software component reliability by leveraging architectural models
Proceedings of the 28th international conference on Software engineering
Quantifying software performance, reliability and security: An architecture-based approach
Journal of Systems and Software
Early quality prediction of component-based systems - A generic framework
Journal of Systems and Software
Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Electronic Notes in Theoretical Computer Science (ENTCS)
Reliability models in architecture description languages
CompSysTech '07 Proceedings of the 2007 international conference on Computer systems and technologies
Early prediction of software component reliability
Proceedings of the 30th international conference on Software engineering
Journal of Systems and Software
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecture-Based Reasoning About Performability in Component-Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Life-Cycle Aware Modelling of Software Components
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Challenges for assuring quality of service in a service-oriented environment
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Compositional Prediction of Timed Behaviour for Process Control Architecture
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Evaluating recovery aware components for grid reliability
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A trust-based approach to estimating the confidence of the software system in open environments
Journal of Computer Science and Technology
Parameter Dependencies for Component Reliability Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
The decision model of task allocation for constrained stochastic distributed systems
Computers and Industrial Engineering
Architecting dependable systems IV
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Towards quality-aware development and evolution of enterprise information systems
Proceedings of the 2010 ACM Symposium on Applied Computing
A Bayesian model for predicting reliability of software systems at the architectural level
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
Predicting the performance of component-based software architectures with different usage profiles
QoSA'07 Proceedings of the Quality of software architectures 3rd international conference on Software architectures, components, and applications
Insights on fault interference for programs with multiple bugs
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Dependability metrics
Collaborative reliability prediction of service-oriented systems
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
SHARP: a scalable approach to architecture-level reliability prediction of concurrent systems
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
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
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
RESISTing reliability degradation through proactive reconfiguration
Proceedings of the IEEE/ACM international conference on Automated software engineering
An approach for early prediction of software reliability
ACM SIGSOFT Software Engineering Notes
Automated harvesting of test oracles for reliability testing
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
On the estimation of adequate test set size using fault failure rates
Journal of Systems and Software
The reliability estimation, prediction and measuring of component-based software
Journal of Systems and Software
A model-driven method for describing and predicting the reliability of composite services
Software and Systems Modeling (SoSyM)
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
Architecture-based fault tolerance support for grid applications
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Reputation-based Reliability Prediction of Service Compositions
Electronic Notes in Theoretical Computer Science (ENTCS)
A model-oriented framework for runtime monitoring of nonfunctional properties
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
On the estimation of software reliability of component-based dependable distributed systems
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
An automated dependability analysis method for COTS-based systems
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
A petri net based approach for reliability prediction of web services
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Model-Driven safety evaluation with state-event-based component failure annotations
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
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
Architecture-based reliability prediction for service-oriented computing
Architecting Dependable Systems III
Specification and evaluation of safety properties in a component-based software engineering process
Component-Based Software Development for Embedded Systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A qos driven development process model for component-based software systems
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Reliability analysis of component-based systems with multiple failure modes
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
A core theory of interfaces and architecture and its impact on object orientation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Architecture-level reliability prediction of concurrent systems
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Reliability analysis in component-based development via probabilistic model checking
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Quality prediction in service composition frameworks
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Cross-Level compositional reliability analysis for embedded systems
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Personalized Reliability Prediction of Web Services
ACM Transactions on Software Engineering and Methodology (TOSEM)
Configuration-Based service availability analysis for middleware managed applications
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Using enterprise architecture analysis and interview data to estimate service response time
The Journal of Strategic Information Systems
Assembling Components using SysML with Non-Functional Requirements
Electronic Notes in Theoretical Computer Science (ENTCS)
Reliability analysis in symbolic pathfinder
Proceedings of the 2013 International Conference on Software Engineering
Composite web QoS with workflow conditional pathways using bounded sets
Service Oriented Computing and Applications
On the relationships between QoS and software adaptability at the architectural level
Journal of Systems and Software
Journal of Systems and Software
Hi-index | 0.00 |
One of the motivations for specifying software architectures explicitly is the use of high level structural design information for improved control and prediction of software system quality attributes. In this paper, we present an approach for determining the reliability of component-based software architectures.Our method is based on rich architecture definition language (RADL) oriented towards modem industrial middleware platforms, such as Microsoft's. NET and Sun's EJB. Our methods involve parameterised contractual specifications based on state machines and thus permits efficient static analysis.We show how RADL allows software architects to predict component reliability through compositional analysis of usage profiles and of environment component reliability. We illustrate our approach with an e-commerce example and report about empirical measurements which confirm our analytical reliability prediction through monitoring in our reliability test-bed. Our evaluation confirms that prediction accuracy for software components necessitates modelling the behaviour of binary components and the dependency of provided services on required components. Fortunately, our measurements also show that an abstract protocol view of that behaviour is sufficient to predict reliability with high accuracy. The reliability of a component most strongly depends on its environment. Therefore, we advocate a reliability model parameterized by required component reliability in a deployment context.