A multi-staged software design approach for fault tolerance /

Abstract: "This paper presents a multi-stage software design approach for fault-tolerance. In the first stage, a formalism is introduced to represent the behavior of the system by means of a set of assertions. This formalism enables the execution tree (ET) to be generated where each path from...

Full description

Bibliographic Details

Main Author:	Avresky, D. R. (Dimitri Ranguelov), 1944-
Other Authors:	Tapadiya, Pradeep K. (Pradeep Kumar), 1964-
Format:	Book
Language:	English
Published:	College Station, Tex. : Texas A & M University, Computer Science Dept., [1993]
Series:	Technical report (Texas A & M University. Computer Science Department) ; 93-051.
Subjects:	Fault-tolerant computing.