Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Avižienis, J., Laprie, J., Randell, B.: Laprie, and B. Randell. Fundamental Concepts of Dependability. In: Proc. IARP/IEEE-RAS Workshop on Robot Dependability (May 2001)
Ayles, T., Field, A., Magee, J., Bennett, A.: Adding Performance Evaluation to the LTSA Tool (Tool Demonstration). In: Proc. 13th Performance Tools (September 2003)
Cheung, R.C.: A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering 6(2), 118–125 (1980)
Cortellessa, V., Pompei, A.: Towards a UML profile for QoS: a contribution in the reliability domain. In: Proc. of the 4th WOSP, pp. 197–206. ACM Press, New York (2004)
D’Argenio, P.R., Hermanns, H., Katoen, J.-P.: On Generative Parallel Composition. Electronic Notes in Theoretical Computer Science, vol. 22. Elsevier, Amsterdam (2000)
Gu, G.P., Petriu, D.C.: Early Evaluation of Software Performance Based on the UML Performance Profile. In: Proc. of the 2003 CASCON, pp. 66–79. IBM Press (2003)
Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. Wiley, NY (1999)
Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: Kumar, V., Gavrilova, M.L., Tan, C.J.K., L’Ecuyer, P. (eds.) ICCSA 2003. LNCS, vol. 2667, pp. 219–244. Springer, Heidelberg (2003)
Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Software 10(2), 14–32 (1993)
NoMagic Inc. MagicDraw UML, http://www.magicdraw.com/
OMG. Model Driven Architecture, http://www.omg.org/mda/ (July 2001)
OMG. XMI Specification, http://www.omg.org/cgi-bin/doc?formal/2002-01-01 (January 2002)
OMG. MOF 2.0 Specification, http://www.omg.org/cgi-bin/doc?ptc/2003-10-04 (October 2003)
OMG. UML 2.0 Superstructure, http://www.omg.org/cgi-bin/doc?ptc/2004-10-02 (2003)
OMG. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms, http://www.omg.org/docs/ptc/04-09-01.pdf (September 2004)
OMG. UML Profile for Schedulability, Performance and Time Specification, http://www.omg.org/technology/documents/formal/schedulability.htm (Januar 2005)
Rodrigues, G.N., Roberts, G., Emmerich, W.: Reliability support for the model driven architecture. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol. 3069, pp. 79–98. Springer, Heidelberg (2004)
Rodrigues, G., Rosenblum, D., Uchitel, S.: Sensitivity Analysis for a Scenario-Based Reliability Prediction Model. In: Proc. ICSE 2005 Workshop on Architecting Dependable Systems, pp. 73–77 (May 2005)
Rodrigues, G., Rosenblum, D.S., Uchitel, S.: Using scenarios to predict the reliability of concurrent component-based software systems. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 111–126. Springer, Heidelberg (2005)
Skene, J., Emmerich, W.: A Model Driven Architecture Approach to Analysis of Non-Functional Properties of Software Architecture. In: Proc. of the 18th ASE, Toronto, CA, October 2001, IEEE Computer Society, Los Alamitos (2001)
Uchitel, S., Chatley, R., Kramer, J., Magee, J.: LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios. In: Proc. of 9th TACAS, Warsaw (April 2003)
Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)
Uchitel, S., Kramer, J., Magee, J.: Incremental Elaboration of Scenario-Based Specifications and Behavior Models Using Implied Scenarios. ACM Transactions on Software Engineering and Methodologies 13(1), 37–85 (2004)
W3C. XSL Transformations (XSLT), http://www.w3.org/TR/xslt (November 1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rodrigues, G.N., Rosenblum, D.S., Uchitel, S. (2005). Reliability Prediction in Model-Driven Development. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_25
Download citation
DOI: https://doi.org/10.1007/11557432_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)