DMCA
A Compiler-based Approach to Fault-Tolerance in Real-Time Systems
BibTeX
@MISC{Marlowe_acompiler-based,
author = {Ganesh Marlowe and A. K. Ganesh and T. J. Marlowe},
title = {A Compiler-based Approach to Fault-Tolerance in Real-Time Systems},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Real-time systems are characterized as systems in which the correctness of the system depends both on agreement of the result of the computation with the intended semantics, and on the timeliness with which the results are produced. In real-time systems, there are time-critical events which must occur within specified timeframes or by given deadlines. Missing a deadline may result in a problem like a system crash, or a disaster such as loss of life. Clearly, reliability and dependability are also important criteria in such systems. A "fault-tolerant real-time system" is one capable of providing a critical level of timely service even in the presence of software or hardware faults. We argue that providing hardware fault-tolerance for real-time systems requires support from the language, compiler, and environment. We suggest an integrated approach to providing this support. The key aspects of this approach include: a data classification scheme, characterizing the utility and priority of ...
