Relational characterizations of system fault tolerance

Document Type

Article

Publication Date

5-1-2005

Abstract

Fault tolerance is the ability of a system to continue delivering its services after faults have caused errors. We have argued, in the past, that complex and/or critical systems are best validated by a wide range of methods, including proving, testing, and fault tolerance; we have also argued that in order to use these methods in concert, we need to cast them in a common framework. In this paper, we present mathematical characterizations of fault tolerance properties, using a relational calculus. © 2004 Elsevier B.V. All rights reserved.

Identifier

17644374129 (Scopus)

Publication Title

Science of Computer Programming

External Full Text Location

https://doi.org/10.1016/j.scico.2004.07.003

ISSN

01676423

First Page

343

Last Page

361

Issue

3

Volume

56

Fund Ref

National Aeronautics and Space Administration

This document is currently not available here.

Share

COinS