Concurrency: state models & Java programs
Concurrency: state models & Java programs
Operational Profiles in Software-Reliability Engineering
IEEE Software
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
Early evaluation of software performance based on the UML performance profile
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Towards a UML profile for QoS: a contribution in the reliability domain
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Sensitivity analysis for a scenario-based reliability prediction model
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
A User-Oriented Software Reliability Model
IEEE Transactions on Software Engineering
LTSA-MSC: tool support for behaviour model elaboration using implied scenarios
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
Using scenarios to predict the reliability of concurrent component-based software systems
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Reliability Analysis of Concurrent Systems Using LTSA
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
An Eclipse-Based Framework for AIS Service Configurations
ISAS '07 Proceedings of the 4th international symposium on Service Availability
Integrating performance and reliability analysis in a non-functional MDA framework
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
A systematic review on the definition of UML profiles
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
The reliability estimation, prediction and measuring of component-based software
Journal of Systems and Software
Distributed real-time behavioral requirements modeling using extended UML/SPT
SAM'06 Proceedings of the 5th international conference on System Analysis and Modeling: language Profiles
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an important concern with regard to the correct delivery of software system service. Recently, the UML Profile for Modeling Quality of Service has defined a set of UML extensions to represent dependability concerns (including reliability) and other non-functional requirements in early stages of the software development lifecycle. Our research has shown that these extensions are not comprehensive enough to support reliability analysis for model-driven software engineering, because the description of reliability characteristics in this profile lacks support for certain dynamic aspects that are essential in modeling reliability. In this work, we define a profile for reliability analysis by extending the UML 2.0 specification to support reliability prediction based on scenario specifications. A UML model specified using the profile is translated to a labelled transition system (LTS), which is used for automated reliability prediction and identification of implied scenarios; the results of this analysis are then fed back to the UML model. The result is a comprehensive framework for addressing software reliability modeling, including analysis and evolution of reliability predictions. We exemplify our approach using the Boiler System used in previous work and demonstrate how reliability analysis results can be integrated into UML models.