Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Architecture-based approach to reliability assessment of software systems
Performance Evaluation
Reliability prediction for component-based software architectures
Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
Performance modeling from software components
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Large Empirical Case Study of Architecture-Based Software Reliability
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Error Propagation in the Reliability Analysis of Component Based Systems
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Quantifying software performance, reliability and security: An architecture-based approach
Journal of Systems and Software
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
Disk failures in the real world: what does an MTTF of 1,000,000 hours mean to you?
FAST '07 Proceedings of the 5th USENIX conference on File and Storage Technologies
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
Availability Modeling of SIP Protocol on IBM© WebSphere©
PRDC '08 Proceedings of the 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing
Tools and experiments supporting a testing-based theory of component composition
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parameter Dependencies for Component Reliability Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecture-based software reliability modeling
Journal of Systems and Software
Using quality of service bounds for effective multi-objective software architecture optimization
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems
Reliability-driven deployment optimization for embedded systems
Journal of Systems and Software
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
Focussing multi-objective software architecture optimization using quality of service bounds
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Model transformations in non-functional analysis
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Information and Software Technology
Performance and reliability prediction for evolving service-oriented software systems
Empirical Software Engineering
Hi-index | 0.00 |
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.