Journal ArticleDOI
Redundancy in Data Structures: Improving Software Fault Tolerance
Reads0
Chats0
TLDR
The intuitive approach of this paper, which makes heavy use of examples, is complemented by the more formal development of the companion paper, "Redundancy in Data Structures: Some Theoretical Results."Abstract:
The increasing cost of computer system failure has stimulated interest in improving software reliability. One way to do this is by adding redundant structural data to data structures. Such redundancy can be used to detect and correct (structural) errors in instances of a data structure. The intuitive approach of this paper, which makes heavy use of examples, is complemented by the more formal development of the companion paper, "Redundancy in Data Structures: Some Theoretical Results."read more
Citations
More filters
Proceedings ArticleDOI
Dependable computing and fault tolerance : concepts and terminology
TL;DR: In this article, a framework for expressing the attributes of what constitutes dependable and reliable computing is presented, including the impairrnents to dependability: faults, errors, and failures, the means for dependability, and the measures of dependability such as reliability, availability, maintainability and safety.
Journal ArticleDOI
Software safety: why, what, and how
TL;DR: In this article, a survey of software safety issues in real-time, safety-critical processes is presented, with an emphasis on the outstanding issues and research topics and how to solve them.
Proceedings ArticleDOI
The case for cyber foraging
TL;DR: This paper presents VERSUDS: a virtual interface to heteregeneous service discovery protocols that can be used to discover opportunistically discovered servers in the environment to improve the performance of interactive applications and distributed file systems on mobile clients.
Book
Software Fault Tolerance Techniques and Implementation
TL;DR: Software Fault Tolerance Techniques and Implementation examines key programming techniques such as assertions, checkpointing, and atomic actions, and provides design tips and models to assist in the development of critical fault tolerant software that helps ensure dependable performance.
Proceedings ArticleDOI
FERRARI: a tool for the validation of system dependability properties
TL;DR: FERRARI as mentioned in this paper is a fault and error automatic real-time injector, which can evaluate complex systems by emulating most hardware faults in software, including permanent faults and transient errors.
References
More filters
Journal ArticleDOI
Error detecting and error correcting codes
TL;DR: The author was led to the study given in this paper from a consideration of large scale computing machines in which a large number of operations must be performed without a single error in the end result.
Journal ArticleDOI
System structure for software fault tolerance
TL;DR: In this article, the authors present a method for structuring complex computing systems by the use of what they term "recovery blocks", "conversations", and "fault-tolerant interfaces".
Proceedings ArticleDOI
System structure for software fault tolerance
TL;DR: In this article, the authors present a method for structuring complex computing systems by the use of what they term "recovery blocks", "conversations", and "fault-tolerant interfaces".
Journal ArticleDOI
Physical integrity in a large segmented database
TL;DR: A recovery scheme is first proposed for system failure (hardware or software error which causes the contents of main storage to be lost) and a facility for protection against damage to the auxiliary storage itself is proposed.
Journal ArticleDOI
Fault Tolerant Operating Systems
TL;DR: This paper develops four related architectural principles which can guide the construction of error-tolerant operating systems and implements of these principles are given for process management, interrupts and traps, store access through capabilities, protected procedure entry, and tagged architecture.