The Library
Issues on the design of efficient fail-safe fault tolerance
Tools
Tools
Tools
Jhumka, Arshad and Leeke, Matthew (2009) Issues on the design of efficient fail-safe fault tolerance. In: 20th International Symposium on Software Reliability Engineering, 2009. ISSRE '09, Mysuru, Karnataka, 16-19 Nov 2009 . Published in: International Symposium on Software Reliability Engineering. Proceedings pp. 155-164.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/ISSRE.2009.31
Abstract
The design of a fault-tolerant program is known to be an inherently difficult task. Decisions taken during the design process will invariably have an impact on the efficiency of the resulting fault-tolerant program. In this paper, we focus on two such decisions, namely (i) the class of faults the program is to tolerate, and (ii) the variables that can be read and written. The impact these design issues have on the overall fault tolerance of the system needs to be well-understood, failure of which can lead to costly redesigns. For the case of understanding the impact of fault classes on the efficiency of fail-safe fault tolerance, we show that, under the assumption of a general fault model, it is impossible to preserve the original behavior of the fault-intolerant program. For the second problem of read and write constraints of variables, we again show that it is impossible to preserve the original behavior of the fault-intolerant program. We analyze the reasons that lead to these impossibility results, and suggest possible ways of circumventing them.
| Item Type: | Conference Item (Paper) |
|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
| Divisions: | Faculty of Science > Computer Science |
| Journal or Publication Title: | International Symposium on Software Reliability Engineering. Proceedings |
| Publisher: | IEEE |
| ISSN: | 1071-9458 |
| Book Title: | 2009 20th International Symposium on Software Reliability Engineering |
| Date: | 2009 |
| Page Range: | pp. 155-164 |
| Identification Number: | 10.1109/ISSRE.2009.31 |
| Status: | Peer Reviewed |
| Publication Status: | Published |
| Access rights to Published version: | Restricted or Subscription Access |
| Conference Paper Type: | Paper |
| Title of Event: | 20th International Symposium on Software Reliability Engineering, 2009. ISSRE '09 |
| Type of Event: | Other |
| Location of Event: | Mysuru, Karnataka |
| Date(s) of Event: | 16-19 Nov 2009 |
| URI: | http://wrap.warwick.ac.uk/id/eprint/42361 |
Actions (login required)
 |
View Item |
