The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1993 vol.42)
pp: 1303-1324
ABSTRACT
<p>Introduces a nested-predicate scheme for fault tolerance, called Nest. Nest provides a formal comprehensive model for fault-tolerant parallel algorithms and a general methodology for designing reliable applications for multiprocessor systems. The model relies on the formalization of concepts for fault tolerance by means of three nested system predicates and on properties ruling their interrelationships. This rigorous framework facilitates the study of the specific properties that enable an algorithm to tolerate faults. The consequence of that is the outline of systematic design techniques that can be used to add fault tolerance properties to algorithms while preserving their functional characteristics.</p>
INDEX TERMS
nested-predicate scheme; fault tolerance; Nest; parallel algorithms; multiprocessor systems; formalization; nested system predicates; rigorous framework; cost/benefit comparison; design methodology; natural redundancy; fault tolerant computing; parallel algorithms; redundancy.
CITATION
L.A. Laranjeira, M. Malek, R. Jenevein, "Nest: A Nested-Predicate Scheme for Fault Tolerance", IEEE Transactions on Computers, vol.42, no. 11, pp. 1303-1324, November 1993, doi:10.1109/12.247836
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool