Nest: a nested-predicate scheme for fault tolerance

Author

Laranjeira, Luiz A. ; Malek, Miroslaw ; Jenevein, Roy

Author_Institution

Pulse Commun., Herndon, VA, USA

Volume

42

Issue

11

fYear

1993

fDate

11/1/1993 12:00:00 AM

Firstpage

1303

Lastpage

1324

Abstract

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

Keywords

fault tolerant computing; parallel algorithms; redundancy; Nest; cost/benefit comparison; design methodology; fault tolerance; formalization; multiprocessor systems; natural redundancy; nested system predicates; nested-predicate scheme; parallel algorithms; rigorous framework; Algorithm design and analysis; Costs; Design methodology; Distributed computing; Equations; Fault tolerance; Fault tolerant systems; Multiprocessing systems; Parallel algorithms; Safety;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/12.247836

Filename

247836