Cover Image

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.

Similar Items

A framework for developing a software-based fault-injection tool for validation of software fault-tolerant techniques under hardware faults /
by: Avresky, D. R. (Dimitri Ranguelov), 1944-
Published: (1994)

SFIT-2: A tool for validation of software under hardware faults /
by: Avresky, D. R. (Dimitri Ranguelov), 1944-
Published: (1994)

Patterns for fault tolerant software /
by: Hanmer, Robert S.
Published: (2007)

Software-implemented hardware fault tolerance /
Published: (2006)

Software fault tolerance : achievement and assessment strategies /
Published: (1992)

Software engineering of fault tolerant systems /
Published: (2007)

Software fault tolerance techniques and implementation /
by: Pullum, Laura L.
Published: (2001)

Data-driven design of fault diagnosis and fault-tolerant systems /
by: Ding, Steven X.
Published: (2014)

Fault-tolerant computing : theory and techniques /
Published: (1986)

Fault tolerant system design /
by: Levi, Shem-Tov
Published: (1994)

Fault tolerant computer architecture /
by: Sorin, Daniel J.
Published: (2009)

Fault tolerance, principles and practice /
by: Anderson, T.
Published: (1981)

Hardware and software architectures for fault tolerance : experiences and perspectives /
Published: (1994)

Hardware and software architectures for fault tolerance : experiments and perspectives /
Published: (1994)

A software tool for evaluating software-implemented fault tolerance techniques /
by: Tapadiya, Pradeep K. (Pradeep Kumar), 1964-
Published: (1993)

Reconfiguration of faulty hypercubes /
by: Avresky, D. R. (Dimitri Ranguelov), 1944-
Published: (1994)

Improvement of reliability in hypercubes using a fast reconfiguration algorithm /
by: Avresky, D. R. (Dimitri Ranguelov), 1944-
Published: (1994)

The Fault-tolerant multiprocessor computer /
Published: (1986)

Fault tolerant computing : the 1989 Joint Symposium on Fault-Tolerant Computing, July 18-20, 1989, Chongqing University, Chongqing, China.
Published: (1989)

Fault-tolerant systems /
by: Koren, Israel, 1945-, et al.
Published: (2021)

Fault-tolerant systems /
by: Koren, Israel, 1945-
Published: (2007)

Fault-tolerant systems /
by: Koren, Israel, 1945-
Published: (2007)

Fault tolerant broadcasting algorithms in SIMD hypercubes /
by: Chang, Yeimkuan
Published: (1993)

Fault tolerance of hypercubes using spanning trees /
by: Al-Tawil, K. M. (Khalid M.)
Published: (1993)

Coding approaches to fault tolerance in combinational and dynamic systems /
by: Hadjicostis, Christoforos N.
Published: (2002)

An introduction to program fault tolerance : a structured programming approach /
by: Mili, Ali
Published: (1990)

A fault tolerant design of a multimedia server /
by: Berson, Steven
Published: (1994)

A dynamic recovery scheme for improving reliability of parallel computers / Dimiter [as printed] R. Avresky, Pradeep K. Tapadiya, Jean Arlat.
by: Avresky, D. R. (Dimitri Ranguelov), 1944-
Published: (1994)

Hardware and software fault tolerance in parallel computing systems /
Published: (1992)

Documentation of the current fault detection, isolation, and reconfiguration software of the AIPS fault-tolerant processor /
by: Lanning, David T.
Published: (1987)

Design and analysis of fault-tolerant digital systems /
by: Johnson, Barry W., 1957-
Published: (1989)

Application-layer fault-tolerance protocols /
by: De Florio, Vincenzo, 1963-
Published: (2009)

Design and analysis of reliable and fault-tolerant computer systems /
by: Abd-El-Barr, Mostafa, 1950-
Published: (2007)

Fault tolerance for multicomputers : the application-oriented paradigm /
by: McMillin, Bruce M.
Published: (1997)

Fault-Tolerant Parallel and Distributed Systems /
by: Avresky, Dimiter R.
Published: (1998)

Fault-tolerant parallel computation /
by: Kanellakis, P. C. (Paris C.), 1953-
Published: (1997)

Fault tolerant and fault testable hardware design /
by: Lala, Parag K., 1948-
Published: (1985)

The Evolution of fault-tolerant computing /
Published: (1987)

Dependable computing and fault-tolerant systems.
Published: (1987)

Fault tolerance design and redundancy management techniques.
Published: (1980)