Spelling suggestions: "subject:"faulttolerant computing."" "subject:"faultolerant computing.""
11 |
Byzantine fault-tolerance and beyondMartin, Jean-Philippe Etienne, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2006. / Vita. Includes bibliographical references.
|
12 |
Low-cost assertion-based fault tolerance in hardware and softwareVemu, Ramtilak, 1981- 10 October 2012 (has links)
In the recent past, there has been an increasing demand for low-cost safety critical applications. Custom-off-the-shelf (COTS) processors are preferred for usage in these applications due to their low cost. The reliability provided by these processors, however, is not sufficient to meet the safety requirements of these applications. Furthermore, due to the trends followed by the processor industry to enhance the performance of processors, the reliability provided by these processors is projected to decrease in the future. Traditional techniques for enhancing the reliability of computer systems are not viable for these applications due to the high overheads (and hence cost) incurred by them. This thesis describes fault tolerance techniques tailored for these applications, adhering to the tight overhead constraints in the area, memory, and performance dimensions. Techniques at both the hardware level (to be used by the processor manufacturers) and the software level (to be used by the application developers) are presented. At the hardware level, this thesis presents a technique for detecting faults in the processor control logic, for which techniques proposed previously incur very high overheads. Rather than detect all modeled faults, the technique protects against a subset of faults such that the best possible overall protection is achieved while incurring only permissible overheads. This subset of faults is selected depending on the probability of each individual fault causing damage to the architectural state of the processor and the overhead incurred in protecting against the fault. The technique is validated on control logic modules of an industrial processor. At the software level, this thesis concentrates on a category of errors called control flow errors. We describe an error detection technique which incurs lower overheads than any of the previously proposed techniques while at the same time detecting more errors than all of them. Even these low overheads may be too restrictive for some applications. For such applications, we present a technique for providing the best error detection capability possible at the overheads allowed. Once an error is detected, error recovery actions need to be performed. In this thesis, we present an error correction technique which automatically performs error recovery with a very low latency. The technique reuses the information available from the error detection technique to perform the recovery and hence, does not incur any additional performance penalty. All the techniques proposed at the software level have been integrated with GCC, a commonly used software compiler. This permits the fault tolerance to be incorporated into the application automatically as part of the compilation process itself. Evaluations are performed on SPEC and MiBench benchmark programs using an in-house software error injection framework. / text
|
13 |
Fault-tolerant wormhole routing for mesh computers周繼鵬, Zhou, Jipeng. January 2001 (has links)
published_or_final_version / Computer Science and Information Systems / Doctoral / Doctor of Philosophy
|
14 |
Performance and fault-tolerance studies of wormhole routers in 2D meshes何偉康, Ho, Wai-hong. January 1997 (has links)
published_or_final_version / Electrical and Electronic Engineering / Master / Master of Philosophy
|
15 |
A proof methodology for verification of real-time and fault-tolerance properties of distributed programs.Hay, Karen June. January 1993 (has links)
From the early days of programming, the dependability of software has been a concern. The development of distributed systems that must respond in real-time and continue to function correctly in spite of hardware failure have increased the concern while making the task of ensuring dependability more complex. This dissertation presents a technique for improving confidence in software designed to execute on a distributed system of fail-stop processors. The methodology presented is based on a temporal logic augmented with time intervals and probability distributions. A temporal logic augmented with time intervals, Bounded Time Temporal Logic (BTTL), supports the specification and verification of real-time properties such as, "The program will poll the sensor every t to T time units." Analogously, a temporal logic augmented with probability distributions, Probabilistic Bounded Time Temporal Logic (PBTTL), supports reasoning about fault-tolerant properties such as, "The program will complete with probability less than or equal to p", and a combination of these properties such as, "The program will complete within t and T time units with probability less than or equal to p." The syntax and semantics of the two logics, BTTL and PBTTL, are carefully developed. This includes development of a program state model, state transition model, message passing system model and failure system model. An axiomatic program model is then presented and used for the development of a set of inference rules. The inference rules are designed to simplify use of the logic for reasoning about typical programming language constructs and commonly occurring programming scenarios. In addition to offering a systematic approach for verifying typical behaviors, the inference rules are intended to support the derivation of formulas expressing timing and probabilistic relationships between the execution times and probabilities of individual statements, groups of statements, message passing and failure recovery. Use of the methodology is demonstrated in examples of varying complexity, including five real-time examples and four combined real-time and fault-tolerant examples.
|
16 |
Development of a fault tolerant flight control systemFeldstein, Cary Benjamin. 10 April 2008 (has links)
No description available.
|
17 |
Design and analysis of robust algorithms for fault tolerant computingJang, Jai Eun 04 April 1990 (has links)
Graduation date: 1990
|
18 |
Comparison of numerical result checking mechanisms for FFT computations under faultsBharthipudi, Saraswati. January 2003 (has links) (PDF)
Thesis (M.S.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2004. / Dr. Feodor Vainstein, Committee Member; Dr. Doug Blough, Committee Chair; Dr. David Schimmel, Committee Member. Includes bibliographical references (leaves 71-75).
|
19 |
VLSI implementation of cross-parity and modified dice fault tolerant schemesBlum, Daniel Ryan, January 2004 (has links) (PDF)
Thesis (M.S. in Electrical Engineering)--Washington State University. / Includes bibliographical references.
|
20 |
Fault-tolerant wormhole routing for mesh computersZhou, Jipeng. January 2001 (has links)
Thesis (Ph. D.)--University of Hong Kong, 2001. / Includes bibliographical references (leaves 114-120).
|
Page generated in 0.0977 seconds