Requirements for software exception handling

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2008, Pages

  Hecht, Herbert ^a  

^a SoHaR Incorporated   (United States)

Author keywords

Exception handling; Fault tolerance; Safety critical systems; Software reliability; Software requirements and specifications

Indexed keywords

AEROSPACE SYSTEMS; COMPREHENSIVE APPROACH; DEVELOPMENT CYCLES; EXCEPTION HANDLING; FAULT TOLERANCE; P RIOR WORK; SAFETY CRITICAL SYSTEMS; SOFTWARE FAILURES; SOFTWARE RELIABILITY; SOFTWARE REQUIREMENTS AND SPECIFICATIONS; SYSTEM FAILURES; SYSTEM LEVELS;

SYSTEMS ENGINEERING; TECHNOLOGY;

SAFETY ENGINEERING;

EID: 49349117713     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2008.4526575     Document Type: Conference Paper

References (17)

1. F. J. Redmill, ed., Dependability of Critical Computer Systems, Elsevier Applied Science, 1988
2. Doshi, Gunjan Best Practices for Exception Handling, http://www.onjava.com/pub/a/onjava/2003/11/19/exceptions.html
3. Christophe de Dinechin, C++ Exception Handling for IA - 64https://db. usenix.org/events/wiess2000/full_papers/dinechin/dinechin.pdf
4. Leveson, Nancy G. and Clark S. Turner, "An Investigation of the Therac-25 Accidents", IEEE Computer,vol 26, no. 7, July 1993
5. Wikipedia: Ariane 5/Launch History
6. NASA Press Release 00-46, March 26, 2000
7. Toy, W. N., "Fault-Tolerant Design of AT&T Telephone Switching Systems" in Reliable Computer Systems: design and evaluation, Siewiorek and Swarz, eds., Digital Press, Burlington MA, 1992
8. Kanoun, K. and T. Sabourin, "Software Dependability of a Telephone Switching System", Digest of Papers, FTCS-17, Pittsburgh PA, July 1987, pp. 236 - 241.
9. Hecht, H. and P. Crane, "Rare Conditions and their Effect on Software Failures", Proc. of the 1994 Annual Reliability and Maintainability Symposium", January 1994, pp. 334 - 337.
10. Cristian, Flaviu "Exception Handling and Tolerance of Software Faults" in Software Fault Tolerance, Michael R. Lyu, ed., Wiley, New York, 1995
11. C. K. Hansen, The Status of Reliability Engineering Technology 2001, Newsletter of the IEEE Reliability Society, January 2001
12. Maxion, Roy A. and Robert T. Olszewski, "Eliminating Exception Haandling Errors with Dependability Cases: A Comparative, Empirical Study, IEEE Transactions on Software Engineering, vol. 26 no. 9, September 2000.
13. Leveson, N. G., "Software Safety: what, why and how?" Computing Surveys of the ACM, vol 18(2), pp. 125-63, 1986
14. Federal Aviation Regulation (FAR) 25.1309
15. Avizienis, A., J. C. Laprie, B. Randell and C. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing", IEEE Transactions on Dependable and Secure Computing, vol. 1, No.1, Jan 2004
16. Department of Defense, Standard Practice for System Safety, MIL-STD-882D (Table A-III), February 2000
17. Eckhardt, D. E., A. K. Caglayan, J. C. Knight, et al, "An experimental evaluation of software redundancy as a strategy for improving reliability", IEEE Trans. Software Engineering, vol 17 no 7, July 1991, pp. 692-702