Skip to main content

Reliability Analysis of Component-Based Systems with Multiple Failure Modes

  • Conference paper
Component-Based Software Engineering (CBSE 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6092))

Included in the following conference series:

Abstract

This paper presents a novel approach to the reliability modeling and analysis of a component-based system that allows dealing with multiple failure modes and studying the error propagation among components. The proposed model permits to specify the components attitude to produce, propagate, transform or mask different failure modes. These component-level reliability specifications together with information about systems global structure allow precise estimation of reliability properties by means of analytical closed formulas, probabilistic model-checking or simulation methods. To support the rapid identification of components that could heavily affect systems reliability, we also show how our modeling approach easily support the automated estimation of the system sensitivity to variations in the reliability properties of its components. The results of this analysis allow system designers and developers to identify critical components where it is worth spending additional improvement efforts.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Avižienis, A., Laprie, J., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE JDSC 1(1), 11–33 (2004)

    Google Scholar 

  2. Cortellessa, V., Grassi, V.: A modeling approach to analyze the impact of error propagation on reliability of component-based systems. In: Schmidt, H.W., Crnković, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, p. 140. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  3. Hiller, M., Jhumka, A., Suri, N.: Epic: Profiling the propagation and effect of data errors in software. IEEE Transactions Computers 53(5), 512–530 (2004)

    Article  Google Scholar 

  4. Ammar, H., Nassar, D., Abdelmoez, W., Shereshevsky, M., Mili, A.: A framework for experimental error propagation analysis of software architecture specifications. In: Proc. of International Symposium on Software Reliability Engineering. IEEE, Los Alamitos (2002)

    Google Scholar 

  5. Hissam, S., Moreno, G., Stafford, J., Wallnau, K.: Enabling predictable assembly. Journal of Systems and Software 65(3), 185–198 (2003)

    Google Scholar 

  6. Lau, K., Wang, Z.: Software component models. IEEE Transactions Software Engineering 33(10), 709–724 (2007)

    Article  Google Scholar 

  7. Cheung, R.C.: A user-oriented software reliability model. IEEE Trans. Softw. Eng. 6(2), 118–125 (1980)

    Article  Google Scholar 

  8. Goseva-Popstojanova, K., Trivedi, K.: Architecture based approach to reliability assessment of software systems. Performance Evaluation 45(2-3), 179–204 (2001)

    Article  MATH  Google Scholar 

  9. Nelson, E.: Estimating software reliability from test data. Microelectronics Reliability 17(1), 67–73 (1978)

    Article  Google Scholar 

  10. Horgan, J., Mathur, A.: Software testing and reliability. The Handbook of Software Reliability Engineering, 531–565 (1996)

    Google Scholar 

  11. Meeker, W., Escobar, L.: A review of recent research and current issues in accelerated testing. International Statistical Review/Revue Internationale de Statistique 61(1), 147–168 (1993)

    Article  Google Scholar 

  12. Podgurski, A., Masri, W., McCleese, Y., Wolff, F.G., Yang, C.: Estimation of software reliability by stratified sampling. ACM Transactions Software Engineering Methodology 8(3), 263–283 (1999)

    Article  Google Scholar 

  13. Butler, R.W., Finelli, G.B.: The infeasibility of experimental quantification of life-critical software reliability. In: SIGSOFT 1991: Proceedings of the conference on Software for Citical Systems, pp. 66–76. ACM, New York (1991)

    Chapter  Google Scholar 

  14. Cinlar, E.: Introduction to stochastic processes, Englewood Cliffs (1975)

    Google Scholar 

  15. Katsumi, N.: Fundamentals of linear algebra. McGraw-Hill, New York (1966)

    Google Scholar 

  16. Pham, H.: Software reliability and cost models: Perspectives, comparison, and practice. European Journal of Operational Research 149(3), 475–489 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  17. Gokhale, S., Trivedi, K.: Reliability prediction and sensitivity analysis based on software architecture. In: ISSRE, pp. 64–78. IEEE Computer Society, Los Alamitos (2002)

    Google Scholar 

  18. Immonen, A., Niemel, E.: Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and Systems Modeling 7(1), 49–65 (2008)

    Google Scholar 

  19. Wang, W., Wu, Y., Chen, M.: An architecture-based software reliability model. In: Pacific Rim International Symposium on Dependable Computing, vol. 0, p. 143. IEEE, Los Alamitos (1999)

    Google Scholar 

  20. Reussner, R., Schmidt, H., Poernomo, I.: Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3), 241–252 (2003)

    Article  Google Scholar 

  21. Grassi, V.: Architecture-based dependability prediction for service-oriented computing. In: Proceedings of the WADS Workshop, Citeseer (2004)

    Google Scholar 

  22. Abdelmoez, W., Nassar, D., Shereshevsky, M., Gradetsky, N., Gunnalan, R., Ammar, H., Yu, B., Mili, A.: Error propagation in software architectures. In: METRICS 2004, Washington, DC, USA, pp. 384–393. IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  23. Voas, J.: Error propagation analysis for cots systems. Computing and Control Engineering Journal 8(6), 269–272 (1997)

    Article  Google Scholar 

  24. Voas, J.: Pie: A dynamic failure-based technique. IEEE Trans. Software Eng. 18(8), 717–727 (1992)

    Article  Google Scholar 

  25. Grunske, L., Han, J.: A comparative study into architecture-based safety evaluation methodologies using aadl’s error annex and failure propagation models. In: HASE, pp. 283–292. IEEE Computer Society, Los Alamitos (2008)

    Google Scholar 

  26. Cortellessa, V., Singh, H., Cukic, B.: Early reliability assessment of uml based software models. In: Workshop on Software and Performance, pp. 302–309 (2002)

    Google Scholar 

  27. Roshandel, R.: Calculating architectural reliability via modeling and analysis. In: ICSE, pp. 69–71. IEEE Computer Society, Los Alamitos (2004)

    Google Scholar 

  28. Gokhale, S., Wong, W., Horgan, J., Trivedi, K.: An analytical approach to architecture-based software performance and reliability prediction. Perform. Eval. 58(4) (2004)

    Google Scholar 

  29. Blake, J., Reibman, A., Trivedi, K.: Sensitivity analysis of reliability and performability measures for multiprocessor systems. In: SIGMETRICS, pp. 177–186 (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Filieri, A., Ghezzi, C., Grassi, V., Mirandola, R. (2010). Reliability Analysis of Component-Based Systems with Multiple Failure Modes. In: Grunske, L., Reussner, R., Plasil, F. (eds) Component-Based Software Engineering. CBSE 2010. Lecture Notes in Computer Science, vol 6092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13238-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-13238-4_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-13237-7

  • Online ISBN: 978-3-642-13238-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics