Use of Imprecise Computation to Enhance Dependability of Real-Time Systems (1994)
| Venue: | IN FOUNDATIONS OF DEPENDABLE COMPUTING: PARADIGMS |
| Citations: | 12 - 2 self |
BibTeX
@INPROCEEDINGS{Liu94useof,
author = {Jane W. S. Liu and Kwei-Jay Lin and Riccardo Bettati and David Hull and Albert Yu},
title = {Use of Imprecise Computation to Enhance Dependability of Real-Time Systems},
booktitle = {IN FOUNDATIONS OF DEPENDABLE COMPUTING: PARADIGMS},
year = {1994},
pages = {157--182},
publisher = {Kluwer Academic Publishers}
}
OpenURL
Abstract
In a system based on the imprecise-computation technique, each time-critical task is designed in such a way that it can produce a usable, approximate result in time whenever a failure or overload prevents it from producing the desired, precise result. This section describes ways to use this technique together with traditional fault-tolerance methods to reduce the costs of providing fault tolerance andenhancedavailability. Specifically, an imprecise mechanism for the generation and use of approximate results can be integrated in a natural way with traditional checkpointing and replication mechanisms. Algorithms and process structures for this integration and rules for determining when approximate results can be used in place of the desired results are discussed.







