The Library
Issues on the design of efficient fail-safe fault tolerance
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. doi:10.1109/ISSRE.2009.31 ISSN 1071-9458.
PDF
Issues_on_the_Design_of_Efficient_Fail-Safe_Fault_Tolerance.pdf - Published Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (165Kb) |
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, Engineering and Medicine > 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 | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Page Range: | pp. 155-164 | ||||
DOI: | 10.1109/ISSRE.2009.31 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Date of first compliant deposit: | 19 December 2015 | ||||
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 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |