Reliability analysis of component-based systems with multiple failure modes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6092 LNCS, Issue , 2010, Pages 1-20

  Filieri, Antonio ^a   Ghezzi, Carlo ^a   Grassi, Vincenzo ^b   Mirandola, Raffaela ^a  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF ROME TOR VERGATA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED ESTIMATION; COMPONENT BASED SYSTEMS; CRITICAL COMPONENT; ERROR PROPAGATION; GLOBAL STRUCTURE; MODELING APPROACH; MULTIPLE FAILURE MODES; PROBABILISTIC MODELS; RAPID IDENTIFICATION; RELIABILITY MODELING; RELIABILITY PROPERTIES; SIMULATION METHODS; SYSTEM DESIGNERS; SYSTEM SENSITIVITY;

COMPUTER SIMULATION; COMPUTER SOFTWARE; FAILURE MODES; MODEL CHECKING; RELIABILITY ANALYSIS; SAFETY ENGINEERING; SENSITIVITY ANALYSIS; WAVELET TRANSFORMS;

QUALITY ASSURANCE;

EID: 77954595632     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13238-4_1     Document Type: Conference Paper

References (29)

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)
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)
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)
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)
5. Hissam, S., Moreno, G., Stafford, J., Wallnau, K.: Enabling predictable assembly. Journal of Systems and Software 65(3), 185-198 (2003)
6. Lau, K., Wang, Z.: Software component models. IEEE Transactions Software Engineering 33(10), 709-724 (2007)
7. Cheung, R.C.: A user-oriented software reliability model. IEEE Trans. Softw. Eng. 6(2), 118-125 (1980)
8. Goseva-Popstojanova, K., Trivedi, K.: Architecture based approach to reliability assessment of software systems. Performance Evaluation 45(2-3), 179-204 (2001) (Pubitemid 32529469)
9. Nelson, E.: Estimating software reliability from test data. Microelectronics Reliability 17(1), 67-73 (1978)
10. Horgan, J., Mathur, A.: Software testing and reliability. The Handbook of Software Reliability Engineering, 531-565 (1996)
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)
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) (Pubitemid 129551339)
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)
14. Cinlar, E.: Introduction to stochastic processes, Englewood Cliffs (1975)
15. Katsumi, N.: Fundamentals of linear algebra. McGraw-Hill, New York (1966)
16. Pham, H.: Software reliability and cost models: Perspectives, comparison, and practice. European Journal of Operational Research 149(3), 475-489 (2003)
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)
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) (Pubitemid 350186820)
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)
20. Reussner, R., Schmidt, H., Poernomo, I.: Reliability prediction for component-based software architectures. Journal of Systems and Software 66(3), 241-252 (2003)
21. Grassi, V.: Architecture-based dependability prediction for service-oriented computing. In: Proceedings of the WADS Workshop, Citeseer (2004)
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)
23. Voas, J.: Error propagation analysis for cots systems. Computing and Control Engineering Journal 8(6), 269-272 (1997)
24. Voas, J.: Pie: A dynamic failure-based technique. IEEE Trans. Software Eng. 18(8), 717-727 (1992)
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)
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)
27. Roshandel, R.: Calculating architectural reliability via modeling and analysis. In: ICSE, pp. 69-71. IEEE Computer Society, Los Alamitos (2004)
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)
29. Blake, J., Reibman, A., Trivedi, K.: Sensitivity analysis of reliability and performability measures for multiprocessor systems. In: SIGMETRICS, pp. 177-186 (1988)