Abstract
Modern society relies heavily on complex software systems for everyday activities. Dependability of these systems thus has become a critical feature that determines which products are going to be successfully and widely adopted. In this paper, we present an approach to modeling reliability of software systems at the architectural level. Dynamic Bayesian Networks are used to build a stochastic reliability model that relies on standard models of software architecture, and does not require implementation-level artifacts. Reliability values obtained via this approach can aid the architect in evaluating design alternatives. The approach is evaluated using sensitivity and uncertainty analysis.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allen, R., Garlan, D.: A Formal Basis for Architecture Connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)
Amasaki, S., et al.: Bayesian Belief Network for Assessing the Likelihood of Fault Content. In: Proceedings of the 14th International Symposium on Software Reliability Engineering (2003)
Cheung, R.C.: A user-oriented software reliability model. IEEE Trans. on Software Eng. (1980)
Cooper, G.F.: The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks. Artificial Intelligence 42(2-3), 393–405 (1990)
Dalal, S.R.: Software Reliability Models: A Selective Survey and New Directions. In: Pham, H. (ed.) Handbook of Reliability Engineering, Springer, Heidelberg (2003)
Gokhale, S., Wong, W.E., Trivedi, K.S., Horgan, J.R.: An Analytical Approach to Architecture-Based Software Reliability Prediction. In: Proc. of Intl. Performability and Dependability Symposium (IPDS 1998), pp. 13–22, Durham, NC (September 1998)
Goseva-Popstojanova, K., Mathur, A.P., Trivedi, K.S.: Comparison of Architecture-Based Software Reliability Models. In: Proceedings of the 12th IEEE International Symposium on Software Reliability Engineering (ISSRE-2001), Hong Kong (November 2001)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3) (June 1987)
Harel, D., Naamad, A.: The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering Methodology 5(4), 293–333 (1996)
Jelinski, Z., Moranda, P.B.: Software Reliability Research. In: Freigerger, W. (ed.) Statistical Computer Performance Evaluation, Academic Press, London (1972)
Leveson, N.: Safeware: System Safety and Computers. Addison Wesley, Reading (1995)
Littlewood, B.A., Verrall, J.L.: A Bayesian Reliability Growth Model for Computer Software. Applied Statistics 22, 332–346 (1973)
Murphy, K.: A Brief Introduction to Graphical Models and Bayesian Networks (1998), http://www.cs.ubc.ca/~murphyk/bayes/.html
Musa, J.D., Okumoto, K.: Logarithmic Poisson Execution Time Model for Software Reliability Measurement. In: Proceedings of Compsac 1984, pp. 230–238 (1984)
NASA Object Oriented Data Technology (OODT), http://oodt.jpl.nasa.gov
Okamura, H., Furumura, H., Dohi, T.: Bayesian Approach to Estimate Software Reliability in Fault-removal Environment. In: Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004) (Fast Abstract), Saint-Malo, France (2004)
Pai, G.J., Dugan, J.B.: Enhancing Software Reliability Estimation Using Bayesian Networks and Fault Trees. In: Proc. of the 12th IEEE Int. Symp. on Software Reliability Engineering (2001)
Pham, H.: Software Reliability. Springer, Heidelberg (2002)
Reussner, R., Schmidt, H., Poernomo, I.: Reliability Prediction for Component-based Software Architectures. Journal of Systems and Software 66(3) (2003)
Roshandel, R.: Calculating Architectural Reliability via Modeling and Analysis, Ph.D. Dissertation, Computer Science Department, University of Southern California (2006)
Roshandel, R., Banerjee, S., Cheung, L., Medvidovic, N., Golubchik, L.: Estimating Software Component Reliability by Leveraging Architectural Models. In: Proceedings 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China (May 2006)
Roshandel, R., Medvidovic, N.: Multi-View Software Component Modeling for Dependability. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol. 3069, Springer, Heidelberg (2004)
Roshandel, R., Schmerl, B., Medvidovic, N., Garlan, D., Zhang, D.: Understanding Tradeoffs among Different Architectural Modeling Approaches. In: Proc. of the 4th Working IEEE/IFIP Conference on Software Architecture, WICSA 2004, Oslo, Norway (June 2004)
SCRover Project: http://cse.usc.edu/hdcp/iscr
Seigrist, K.: Reliability of systems with Markov transfer of control. IEEE Trans. on Software Engineering (1988)
Yacoub, S., Cukic, B., Ammar, H.: Scenario-Based Analysis of Component-based Software. In: Proceedings of the Tenth International Symp. on Software Reliability Engineering (1999)
Wang, W., Wu, Y., Chen, M.: An Architecture-based Software Reliability Model. In: Proceedings of Pacific Rim International Symposium on Dependable Computing (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roshandel, R., Medvidovic, N., Golubchik, L. (2007). A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level. In: Overhage, S., Szyperski, C.A., Reussner, R., Stafford, J.A. (eds) Software Architectures, Components, and Applications. QoSA 2007. Lecture Notes in Computer Science, vol 4880. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77619-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-77619-2_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77617-8
Online ISBN: 978-3-540-77619-2
eBook Packages: Computer ScienceComputer Science (R0)