Handling software faults with redundancy

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

Volumn 5835 LNCS, Issue , 2009, Pages 148-171

  Carzaniga, Antonio ^a   Gorla, Alessandra ^a   Pezzè, Mauro ^a,b  

^a UNIVERSITY OF LUGANO   (Switzerland)

^b UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMIC COMPUTING; METHODICAL DEVELOPMENT; RUNTIMES; SOFTWARE ENGINEERING METHODS; SOFTWARE FAULT; SOFTWARE SYSTEMS; SOFTWARE TECHNIQUES;

FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; QUALITY ASSURANCE; REDUNDANCY; SOFTWARE RELIABILITY; TAXONOMIES;

SOFTWARE ARCHITECTURE;

EID: 70549093161     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-10248-6_7     Document Type: Conference Paper

References (57)

1. Pullum, L.L.: Software Fault Tolerance Techniques and Implementation. Artech House, Inc., Norwood (2001)
2. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable Secure Computing 1(1), 11-33 (2004)
3. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41-50 (2003)
4. Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: FOSE 2007: 2007 Future of Software Engineering, pp. 259-268. IEEE Computer Society, Washington (2007)
5. Lyons, R., Vanderkulk, W.: The use of triple-modular redundancy to improve computer reliability. IBM Journal of Research and Development 6(2), 200-209 (1962)
6. Patterson, D.A., Gibson, G., Katz, R.H.: A case for redundant arrays of inexpensive disks (RAID). SIGMOD Record 17(3), 109-116 (1988)
7. Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: OSDI 2004: Proceedings of the 6th Conference on Symposium on Operating Systems Design & Implementation, Berkeley, CA, USA (2004)
8. El Abbadi, A., Skeen, D., Cristian, F.: An efficient, fault-tolerant protocol for replicated data management. In: PODS 1985: Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems, pp. 215-229. ACM, New York (1985)
9. Avizienis, A.: The N-version approach to fault-tolerant software. IEEE Transactions on Software Engineering 11(12), 1491-1501 (1985)
10. Subramanian, S., Thiran, P., Narendra, N.C., Mostefaoui, G.K., Maamar, Z.: On the enhancement of BPEL engines for self-healing composite web services. In: SAINT 2008: Proceedings of the 2008 International Symposium on Applications and the Internet, pp. 33-39. IEEE Computer Society, Washington (2008)
11. Sadjadi, S.M., McKinley, P.K.: Using transparent shaping and web services to support self-management of composite systems. In: ICAC 2005: Proceedings of the Second International Conference on Automatic Computing, pp. 76-87. IEEE Computer Society, Washington (2005)
12. Candea, G., Kiciman, E., Zhang, S., Keyani, P., Fox, A.: JAGR: An autonomous self-recovering application server. In: Active Middleware Services, pp. 168-178. IEEE Computer Society, Los Alamitos (2003)
13. Zhang, R.: Modeling autonomic recovery in web services with multi-tier reboots. In: ICWS 2007: Proceedings of the IEEE International Conference on Web Services (2007)
14. Ammar, H.H., Cukic, B., Mili, A., Fuhrman, C.: A comparative analysis of hardware and software fault tolerance: Impact on software reliability engineering. Annals Software Engineering 10(1-4), 103-150 (2000)
15. Huang, Y., Kintala, C., Kolettis, N., Fulton, N.D.: Software rejuvenation: Analysis, module and applications. In: FTCS 1995: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing, vol. 381. IEEE Computer Society, Washington (1995)
16. Gray, J.: Why do computers stop and what can be done about it? In: Symposium on Reliability in Distributed Software and Database Systems, pp. 3-12 (1986)
17. Grottke, M., Trivedi, K.: Fighting bugs: Remove, retry, replicate, and rejuvenate. Computer 40(2), 107-109 (2007)
18. Huebscher, M.C., McCann, J.A.: A survey of autonomic computing - degrees, models, and applications. ACM Computing Surveys 40(3), 1-28 (2008)
19. Florio, V.D., Blondia, C.: A survey of linguistic structures for application-level fault tolerance. ACM Computing Surveys 40(2), 1-37 (2008)
20. Littlewood, B., Strigini, L.: Redundancy and diversity in security. In: Samarati, P., Ryan, P.Y.A., Gollmann, D., Molva, R. (eds.) ESORICS 2004. LNCS, vol. 3193, pp. 423-438. Springer, Heidelberg (2004)
21. Elnozahy, M., Alvisi, L., min Wang, Y., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys 34(3), 375-408 (2002)
22. Gacek, C., de Lemos, R.: Architectural description of dependable software systems. In: Besnard, D., Gacek, C., Jones, C. (eds.) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pp. 127-142. Springer, Heidelberg (2006)
23. Harrison, N.B., Avgeriou, P.: Incorporating fault tolerance tactics in software architecture patterns. In: SERENE 2008: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, pp. 9-18. ACM, New York (2008)
24. Hanmer, R.: Patterns for Fault Tolerant Software. Wiley Publishing, Chichester (2007)
25. Carzaniga, A., Gorla, A., Pezzè, M.: Self-healing by means of automatic workarounds. In: SEAMS 2008: Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, pp. 17-24. ACM, New York (2008)
26. Ammann, P.E., Knight, J.C.: Data diversity: An approach to software fault tolerance. IEEE Transactions on Computers 37(4), 418-425 (1988)
27. Qin, F., Tucek, J., Zhou, Y., Sundaresan, J.: Rx: Treating bugs as allergies - a safe method to survive software failures. ACM Transactions on Computer Systems 25(3), 7 (2007)
28. Randell, B.: System structure for software fault tolerance. In: Proceedings of the international conference on Reliable software, pp. 437-449. ACM, New York (1975)
29. Dobson, G.: Using WS-BPEL to implement software fault tolerance for web services. In: EUROMICRO 2006: Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 126-133. IEEE Computer Society, Washington (2006)
30. Looker, N., Munro, M., Xu, J.: Increasing web service dependability through consensus voting. In: COMPSAC 2005: Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), vol. 2, pp. 66-69. IEEE Computer Society, Washington (2005)
31. Gashi, I., Popov, P., Stankovic, V., Strigini, L.: On designing dependable services with diverse off-the-shelf SQL servers. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems II. LNCS, vol. 3069, pp. 191-214. Springer, Heidelberg (2004)
32. Laprie, J.C., Béounes, C., Kanoun, K.: Definition and analysis of hardware-and software-fault-tolerant architectures. Computer 23(7), 39-51 (1990)
33. Yau, S.S., Cheung, R.C.: Design of self-checking software. In: Proceedings of the International Conference on Reliable software, pp. 450-455. ACM, New York (1975)
34. Diaconescu, A., Mos, A., Murphy, J.: Automatic performance management in component based software systems. In: ICAC 2004: Proceedings of the First International Conference on Autonomic Computing, pp. 214-221. IEEE Computer Society, Washington (2004)
35. Naccache, H., Gannod, G.: A self-healing framework for web services. In: ICWS 2007: Proceedings of the 2007 IEEE International Conference on Web Services, pp. 398-345 (2007)
36. Baresi, L., Guinea, S., Pasquale, L.: Self-healing BPEL processes with dynamo and the JBoss rule engine. In: ESSPE 2007: International workshop on Engineering of software services for pervasive environments, pp. 11-20. ACM, New York (2007)
37. Modafferi, S., Mussi, E., Pernici, B.: SH-BPEL: a self-healing plug-in for WS-BPEL engines. In: MW4SOC 2006: Proceedings of the 1st workshop on Middleware for Service Oriented Computing, pp. 48-53. ACM, New York (2006)
38. Fugini, M.G., Mussi, E.: Recovery of Faulty Web Applications through Service Discovery. In: SMR 2006: 1st International Workshop on Semantic Matchmaking and Resource Retrieval: Issues and Perspectives, Seoul, Korea (2006)
39. Popov, P., Riddle, S., Romanovsky, A., Strigini, L.: On systematic design of protectors for employing OTS items. In: Euromicro 2001: in Proceedings of the 27th Euromicro Conference, pp. 22-29 (2001)
40. Chang, H., Mariani, L., Pezzè, M.: In-field healing of integration problems with COTS components. In: ICSE 2009: Proceeding of the 31st International Conference on Software Engineering, pp. 166-176 (2009)
41. Salles, F., Rodrguez, M., Fabre, J.C., Arlat, J.: Metakernels and fault containment wrappers. In: International Symposium on Fault-Tolerant Computing. IEEE Computer Society Press, Los Alamitos (1999)
42. Fetzer, C., Xiao, Z.: Detecting heap smashing attacks through fault containment wrappers. In: Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems, pp. 80-89 (2001)
43. Taylor, D.J., Morgan, D.E., Black, J.P.: Redundancy in data structures: Improving software fault tolerance. IEEE Transactions on Software Engineering 6(6), 585-594 (1980)
44. Connet, J.R., Pasternak, E.J., Wagner, B.D.: Software defenses in real-time control systems. In: Proceedings of the International Symposium on Fault-Tolerant Computing, pp. 94-99 (1972)
45. Nguyen-Tuong, A., Evans, D., Knight, J.C., Cox, B., Davidson, J.W.: Security through redundant data diversity. In: DSN 2008: IEEE International Conference on Dependable Systems and Networks, pp. 187-196 (2008)
46. Garg, S., Huang, Y., Kintala, C., Trivedi, K.S.: Minimizing completion time of a program by checkpointing and rejuvenation. SIGMETRICS Performance Evaluation Review 24(1), 252-261 (1996)
47. Cox, B., Evans, D., Filipi, A., Rowanhill, J., Hu, W., Davidson, J., Knight, J., Nguyen-Tuong, A., Hiser, J.: N-variant systems: a secretless framework for security through diversity. In: USENIX SS 2006: Proceedings of the 15th conference on USENIX Security Symposium. USENIX Association, Berkeley (2006)
48. Bruschi, D., Cavallaro, L., Lanzi, A.: Diversified process replicae for defeating memory error exploits. In: WIA 2007:3rd International Workshop on Information Assurance. IEEE Computer Society, Los Alamitos (2007)
49. Taher, Y., Benslimane, D., Fauvet, M.C., Maamar, Z.: Towards an approach for web services substitution. In: IDEAS 2006: Proceedings of the 10th International Database Engineering and Applications Symposium, pp. 166-173. IEEE Computer Society, Washington (2006)
50. Mosincat, A., Binder, W.: Transparent runtime adaptability for BPEL processes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 241-255. Springer, Heidelberg (2008)
51. Weimer, W., ThanVu Nguyen, A.C.L.G., Forrest, S.: Automatically finding patches using genetic programming. In: ICSE 2009: Proceeding of the 31st International Conference on Software Engineering, pp. 364-374 (2009)
52. Arcuri, A., Yao, X.: A novel co-evolutionary approach to automatic software bug fixing. In: CEC 2008: Proceeding of IEEE Congress on Evolutionary Computation (2008)
53. Carzaniga, A., Gorla, A., Pezzè, M.: Healing web applications through automatic workarounds. International Journal on Software Tools for Technology Transfer 10(6), 493-502 (2008)
54. Goodenough, J.B.: Exception handling: issues and a proposed notation. Communications of the ACM 18(12), 683-696 (1975)
55. Hatton, L.: N-version design versus one good version. IEEE Software 14(6), 71-76 (1997)
56. Brilliant, S.S., Knight, J.C., Leveson, N.G.: Analysis of faults in an N-version software experiment. IEEE Transactions on Software Engineering 16(2), 238-247 (1990)
57. Wang, Y.M., Huang, Y., Vo, K.P., Chung, P.Y., Kintala, C.: Checkpointing and its applications. In: FTCS 1995: Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing, pp. 22-31. IEEE Computer Society, Washington (1995)