<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>

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.

M. Malek, L.A. Laranjeira, R. Jenevein, "Nest: A Nested-Predicate Scheme for Fault Tolerance", IEEE Transactions on Computers, vol. 42, no. , pp. 1303-1324, November 1993, doi:10.1109/12.247836