Exception Handling and Software Fault Tolerance
IEEE Transactions on ComputersPublished 1 June 1982
Cristian Cristian
Citations170
SJR quartileQ1
SJR score1.16
SNIP1.61
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A unified point of view on programmed exception handling and default exception handling based on automatic backward recovery based onautomatic backward recovery is constructed, finding a class of faults for which default exception Handling can provide effective fault tolerance.
Abstract
Some basic concepts underlying the issue of fault-tolerant software design are investigated. Relying on these concepts, a unified point of view on programmed exception handling and default exception handling based on automatic backward recovery is constructed. The cause–effect relationship between software design faults and failure occurrences is explored and a class of faults for which default exception handling can provide effective fault tolerance is characterized. It is also shown that there exists a second class of design faults which cannot be tolerated by using default exception handling. The role that software verification methods can play in avoiding the production of such faults is discussed.
Keywords
Computer Science
Acta InformaticaProof of correctness of data representations
964 Citations1972C. A. R. Hoare
A powerful method of simplifying the proofs of program correctness is suggested and some new light is shed on the problem of functions with side-effects.
Communications of the ACMA technique for software module specification with examples
737 Citations1972David Lorge Parnas
This paper presents an approach to writing specifications for parts of software systems sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information.
Communications of the ACMException handling
496 Citations1975John B. Goodenough
The proposed language features serve to highlight exception handling issues by showing how deficiencies in current approaches can be remedied.
ACM SIGPLAN NoticesRationale for the design of the Ada programming language
408 Citations1979Jean D. Ichbiah, Bernd Krieg-Brueckner +4 more
This book discusses classical programming, general program structure - visibility and overloading, and representation classes and machine dependences in the context of knowledge representation.
ACM Computing SurveysReliability Issues in Computing System Design
386 Citations1978Brian Randell, P. Lee +1 more
The various problems involved in achieving very high rehability from complex computing systems are surveyed, and the relatmnship between system structurmg techniques and techniques of fault tolerance are discussed.
IEEE Transactions on Software EngineeringAn Introduction to the Construction and Verification of Alphard Programs
325 Citations1976Wm. A. Wulf, Ralph L. London +1 more
This paper introduces Alphard by developing and verifying a data structure definition and a program that uses it and shows how each language construct contributes to the development of the abstraction and discusses the way the language design and the verification methodology were tailored to each other.
Lecture notes in computer scienceA program structure for error detection and recovery
296 Citations2005J. J. Horning, Hugh C. Lauer +2 more
A method of structuring programs which aids the design and validation of facilities for the detection of and recovery from software errors and a mechanism for the automatic preservation of restart information at a level of overhead which is believed to be tolerable.
IEEE Transactions on Software EngineeringException Handling in CLU
196 Citations1979Barbara Liskov, Alan Snyder
The various models of exception handUlng, the syntax and semantics of the CLU mechanism, and methods of implementing the mechanism and integrating it in debugging and production environments are discussed.
ACM SIGOPS Operating Systems ReviewProcess structuring, synchronization, and recovery using atomic actions
175 Citations1977David Lomet
ACM SIGSOFT Software Engineering NotesSoftware reliability
84 Citations1977P. M. Melliar‐Smith, Brian Randell
IEEE Transactions on ComputersFault Tolerance of a General Purpose Computer Implemented by Very Large Scale Integration
79 Citations1980Sedmak, Liebergot
There are significant problems in using some conventional fault-tolerant techniques in VLSI implementations for general purpose computers; consequently, modified approaches must be investigated.
ACM Transactions on Programming Languages and SystemsAda exception handling: an axiomatic approach
68 Citations1980D Luckham, Wolfgang Polak
A method of documenting exception propagation and handling in Ada programs can be analyzed by formal proof techniques for consistency with their specifications, even if they employ exception propagate and handling to achieve required results.
IEEE Transactions on ComputersA Recovery Cache for the PDP-11
60 Citations1980Lee, Ghani +1 more
This correspondence describes a recovery cache that has been built for the PDP-11 family of machines, designed to be an "add-on" unit which requires no hardware alterations to the host CPU but which intersects the bus between the CPU and the memory modules.
International Conference on Software EngineeringA recovery mechanism for modular software
34 Citations1979Flaviu Cristian
An a priori estimate of the damage caused by exceptions is given and a recovery strategy and recovery mechanism are proposed.
Software reliability
30 Citations1977P. M. Melliar‐Smith, Brian Randell
It is shown, using an example program, how exception handling can be combined with the recovery block structure to improve the effectiveness with which problems due to anticipated faulty input data, hardware components, etc., are dealt with, while continuing to provide means for recovering from unanticipated faults.
Acta InformaticaRobust data types
22 Citations1982Flaviu Cristian
A notation for specifying data types with total operations and exceptions is presented and the issues underlying their correct implementation in a programming language supporting data abstraction and exception handling are discussed and illustrated by examples.
Systematic Detection of Exception Occurrences
19 Citations1985Eike Best, Flaviu Cristian
Software Practice and ExperienceSequential pascal with recovery blocks
19 Citations1978S. K. Shrivastava
The modifications made to the kernel and interpreter of Brinch Hansen's Pascal system to support recovery blocks and the associated recovery caches needed for state restoration are described.