Robust Software - No more excuses

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2002, Pages 145-154

  DeVale, John ^b   Koopman, Philip ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

ROBUST SOFTWARE; ROBUSTNESS FAILURES; SOFTWARE SYSTEMS;

COMPUTER OPERATING SYSTEMS; ESTIMATION; FAULT TOLERANT COMPUTER SYSTEMS; PERFORMANCE;

SOFTWARE ENGINEERING;

EID: 0036921896     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1028895     Document Type: Conference Paper

References (38)

1. Austin, T.M.; Breach, S.E.; Sohi, G.S., "Efficient detection of all pointer and array access errors," Conference on Programming Language Design and Implementation (PLDI) ACM SIGPLAN '94
2. Black, Bryant; Rychlik, Bohuslav; Shen, John, "The block-based trace cache," Proceedings of the 26th annual International Symposium on Computer Architecture ISCA 1999
3. Buhr, Peter; Mok, Russell, "Advanced Exception Handling Mechanisms," IEEE Transactions on Software Engineering, vol. 26, number 9
4. Carreira, J.; Madeira, H.; Silva, J.G., "Xception: a technique for the experimental evaluation of dependability in modern computers," IEEE Transactions on Software Engineering, vol.25, no.2
5. Christian, F., "Exception Handling and Tolerance of Software Faults," In: Software Fault Tolerance, Michael R. Lyu (Ed.). Chichester: Wiley, 1995, Ch. 4
6. DeVale, J.; Koopman, P.; Guttendorf, D., "The Ballista Software Robustness Testing Service," 16th International Conference on Testing Computer Software, 1999. pp. 33-42
7. DeVale, J.; Koopman, P., "Performance Analysis of Exception Handling in IO Libraries," Intl. Conf. on Dependable Systems and Networks, 2001
8. Dony, C., "Improving Exception Handling with Object-Oriented Programming," 14th International Conference on Computer Software and Applications, 1990
9. Fernsler, K.; Koopman, P., "Robustness Testing of a Distributed Simulation Backplane," 10th International Symposium on Software Reliability Engineering, November 1-4, 1999
10. Garcia, A.F.; Beder, D.M.; Rubira, C.M.F., "An exception handling software architecture for developing fault-tolerant software," 5th International Symposium on High Assurance System Engineering, 2000
11. Gehani, N., "Exceptional C or C with Exceptions," Software - Practice and Experience, 22 (10): 827-48
12. Ghost, A.K.; Schmid, M., "An approach to testing COTS software for robustness to operating system exceptions and errors," Proceedings 10th International Symposium on Software Reliability Engineering ISRE 1999
13. Goodenough, J., "Exception handling: issues and a proposed notation," Communications of the ACM, 18(12): 683-696, December 1975
14. Govindarajan, R., "Software Fault-Tolerance in Functional Programming," 16th Intl. Conference on Computer Software and Applications, 1992
15. Hagen, C.; Alonso, G., "Flexible Exception Handling in the OPERA Process Support System," 18th International Conference on Distributer Computing Systems, 1998
16. Hastings, R.; Joyce, B., "Purify: fast detection of memory leaks and access errors," Proceedings of the Winter 1992 USENIX Conference
17. Hill, I., "Faults in functions, in ALGOL and FORTRAN," The Computer Journal, 14(3): 315-316, August 1971
18. Hofstede, A.H.M., Barros, A.P., "Specifying Complex Process Control Aspects in Workflows for Exception Handling," 6th Intl. Conference on Advanced Systems for Advanced Applications, 1999
19. Hull, T.E.; Cohen, M.S.; Sawchuk, J.T.M.; Wortman, D.B., "Exception Handling in Scientific Computing," ACM Transactions on Mathematical Software, Vol. 14, No 3, September 1988
20. IEEE Standards for Information Technology - Portable Operating System Interface (POSIX) Part 1: System Application Program Interface (API) Amendment 1: Realtime Extension [C Language], IEEE Std 1003.1b-1993, IEEE Computer Society, 1994
21. Jones, E., (ed.) The Apollo Lunar Surface Journal, Appolo 11 lunar landing, entries 102:38:30, 102:42:22, and 102:42:41, National Aeronautics and Space Administration, Washington, DC, 1996
22. Kanawati, G.; Kanawati, N.; Abraham, J., "FERRARI: a tool for the validation of system dependability properties," 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems. Amherst, MA, USA, July 1992
23. Koopman, P.; Sung, J.; Dingman, C.; Siewiorek, D. & Marz, T., "Comparing Operating Systems Using Robustness Benchmarks," Proceedings Symposium on Reliable and Distributed Systems, Durham, NC, Oct. 22-24 1997
24. Koopman, P.; DeVale, J., "The exception handling effectiveness of POSIX operating systems," IEEE Transactions on Software Engineering, vol.26, no.9
25. Korn, D.; Vol, K.-P., "SFIO: safe/fast string/file IO," Proceedings of the Summer 1991 USENIX Conference, 10-13 June 1991
26. Lee, P.A., "Exception Handling in C Programs," Software Practice and Experience, Vol 13, 1983
27. Leveson, N.G.; Turner, C.S., "An investigation of the Therac-25 accidents," IEEE Computer, Vol 26, No. 7
28. Lions, J.L. Ariane 5 Flight 501 Failure: report by the inquiry board, European Space Agency, Paris, July 19, 1996
29. Lippert, Martin; Lopes, Cristina, "A Study on Exception Detection and Handling Using Aspect-Oriented Programming," Proceedings of the 2000 International Conference on Software Engineering, 2000
30. Maxion, R.A.; Olszewski, R.T., "Improving software robustness with dependability cases," Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing, FTCS 1998
31. Pan, J.; Koopman, P.; Huang, V.; Gruber, R., "Robustness Testing and Hardening of CORBA ORB Implementations," International Conference on Dependable Systems and Networks, 2001
32. Rakvic, Ryan; Black, Bryan; Shen, John, "Completion time multiple branch prediction for enhancing trace cache performance," The 27th Annual International Symposium on Computer architecture, ISCA 2000
33. Alexandre Romanovsky, "An exception Handling Framework for N-Version Programming in Object-Oriented Systems," 3rd International Symposium on Object-Oriented Real-Time Distributed Computing, 2000
34. Swain, A.D.; Guttmann, H.E., "Handbook of Human Reliability Analysis with Emphasis on Nuclear Power Plant Applications," Technical Report NUREG/CR-1278, U.S. Nuclear Regulatory Commission, 1983
35. Thekkath, C., Levey, H., "Hardware and Software Support for Efficient Exception Handling," Sixth International Conference on Architectural Support for Programming Languages, October 1994
36. Vo, K.-P., Wang, Y.-M., Chung, P. & Huang, Y., "Xept: a software instrumentation method for exception handling," The Eighth Intl. Symposium on Software Reliability Engineering, 1997
37. Wilken, K.D.; Kong, T., "Concurrent detection of software and hardware data-access faults," IEEE Transactions on Computers, vol.46, no.4, p. 412-24
38. Ziles, C.B., Emer, J.S., Sohi, G.S., "The use of multithreading for exception handling," 32nd Annual International Symposium on Microarchitecture, 1999