Abstract
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level functionality. If component reliability information is available, scenarios can be used to perform early system reliability assessment. In this paper we present a novel automated approach for predicting software system reliability. The approach involves extending a scenario specification to model (1) the probability of component failure, and (2) scenario transition probabilities derived from an operational profile of the system. From the extended scenario specification, probabilistic behaviour models are synthesized for each component and are then composed in parallel into a model for the system. Finally, a user-oriented reliability model described by Cheung is used to compute a reliability prediction from the system behaviour model. The contribution of this paper is a reliability prediction technique that takes into account the component structure exhibited in the scenarios and the concurrent nature of component-based systems. We also show how implied scenarios induced by the component structure and system behaviour described in the scenarios can be used to evolve the reliability prediction.
Chapter PDF
References
Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. In: Proc. of the 22nd ICSE, pp. 304–313. ACM Press, New York (2000)
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., Singh, H., Cukic, B.: Early reliability assessment of uml based software models. In: Proceedings of the 3rd WOSP, pp. 302–309. ACM Press, New York (2002)
D’Argenio, P.R., Hermanns, H., Katoen, J.-P.: On generative parallel composition. In: Baier, C., Huth, M., Kwiatkowska, M., Ryan, M. (eds.) Electronic Notes in Theoretical Computer Science, vol. 22. Elsevier, Amsterdam (2000)
Frankl, P., Hamlet, R., Littlewood, B., Strigini, L.: Evaluating testing methods by delivered reliability. IEEE Transactions on Software Engineering 24(8), 586–601 (1998)
Gokhale, S., Lyu, M., Trivedi, K.: Reliability Simulation of Component Based Software Systems. In: Reliability Simulation of Component Based Sofware Systems, Proc. of the 9th ISSRE, pp. 192–201 (1998)
Goševa-Popstojanova, K., Trivedi, K.S.: Architecture-Based Approach to Reliability Assessment of Software Systems. In: Performance Evaluation Journal. Elsevier Science, Amsterdam (2001)
ITU: ITU-T Recommendation Z.120 Message Sequence Charts (MSC’99). Technical report, ITU Telecommunication Standardization Sector, Geneva (1996)
Lyu, M.R.: Software Reliability Modeling. World Scientific Publishing Company, Singapore (1991)
Lyu, M.R.: Handbook of Software Reliability Engineering. IEEE Computer Society Press, Los Alamitos (1996)
Majzik, I., Huszerl, G.: Towards dependability modeling of FT-CORBA architectures. In: Proc. 4th EDCC, Toulouse, pp. 121–139. Springer, Heidelberg (2002)
Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic Dependability Analysis of System Architecture Based on UML Models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol. 2667, pp. 219–244. Springer, Heidelberg (2003)
Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Softw. 10(2), 14–32 (1993)
Musa, J.D., Iannino, A., Okumoto, K.: Software reliability: measurement, prediction, application. McGraw-Hill, Inc., New York (1987)
Object Management Group. Unified Modeling Language Specification version 2.0:Superstructure. Technical report (2003), http://www.omg.org/docs/ptc/03-08-02.pdf
Rodrigues, G.: A Model Driven Approach for Software Systems Reliability. In: Proc. of the Doctoral Symposium of the 26th ICSE, May 2004 - Edinburgh, Scotland. IEEE Computer Society, Los Alamitos (2004)
Rodrigues, G., 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. Springer, Heidelberg (2004) (to appear)
Roshandel, R., Medvidovic, N.: Toward Archtitecture-Based Reliability Estimation. In: ICSE/WADS 2004, Edinburgh, UK, pp. 2–6. IEEE Computer Society, Los Alamitos (2003)
Shooman, M.: Structural Models for Software Reliability Prediction. In: Proc. of the 2nd ICSE, pp. 268–280 (1976)
Singh, H., Cortellessa, V., Cukic, B., Gunel, E., Bharadwaj, V.: A bayesian approach to reliability prediction and assessment of component based systems. In: Proc. of the 12th IEEE ISSRE, pp. 12–21. IEEE, Los Alamitos (2001)
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 on Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)
Uchitel, S., Kramer, J., Magee, J.: Incremental Elaboration of Scenarios-Based Specifications and Behavior Models Using Implied Scenarios. ACM Transactions on Software Engineering and Methodologies 13(1), 37–85 (2004)
Wang, W.L., Wu, Y., Chen, M.H.: An Architecture-Based Software Reliability Model. In: Proc. Pacific Rim International Symposium on Dependable Computing, Washington, DC, USA, pp. 143–150. IEEE Computer Society, Los Alamitos (1999)
Yacoub, S.M., Cukic, B., Ammar, H.H.: Scenario-Based Reliability Analysis of Component-Based Software. In: Proc. of the 10th ISSRE, Boca Raton, FL, USA. IEEE, Los Alamitos (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., Rosenblum, D., Uchitel, S. (2005). Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems. In: Cerioli, M. (eds) Fundamental Approaches to Software Engineering. FASE 2005. Lecture Notes in Computer Science, vol 3442. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31984-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-31984-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25420-1
Online ISBN: 978-3-540-31984-9
eBook Packages: Computer ScienceComputer Science (R0)